Reasoning About Deterministic Concurrent Functional I/O

DOI10.1007/11431664_11zbMATH Open1119.68331OpenAlexW1591044060MaRDI QIDQ5423552FDOQ5423552

Authors: Malcolm Dowse, Andrew Butterfield, Marko van Eekelen 

Publication date: 23 October 2007

Published in: Implementation and Application of Functional Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11431664_11

Recommendations

• Modelling deterministic concurrent I/O
• scientific article; zbMATH DE number 2086497
• scientific article; zbMATH DE number 819768
• A functional programming approach to the specification and verification of concurrent systems
• State will do

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (7)

• Title not available (Why is that?)
• Functional behavior of nondeterministic and concurrent programs
• Title not available (Why is that?)
• Modelling deterministic concurrent I/O
• Proving Properties of Lazy Functional Programs with Sparkle
• GOFFIN: Higher-order functions meet concurrent constraints
• Title not available (Why is that?)

Uses Software

• Sparkle

This page was built for publication: Reasoning About Deterministic Concurrent Functional I/O

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5423552)