A semantic theory for concurrent ML

DOI10.1007/3-540-57887-0_124MaRDI QIDQ4490760zbMATH OpenFDO

Authors Dominique Bolignano, Mourad Debabi

Publication date 20 July 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-57887-0_124

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Towards a semantic theory of CML
• scientific article; zbMATH DE number 1231557
• Semantics for core Concurrent ML using computation types
• From CML to its process algebra
• A theory of bisimulation for a fragment of concurrent ML with local names

Cited in

(6)

• Semantics for core Concurrent ML using computation types
• A denotational semantic theory of concurrent systems
• Towards a semantic theory of CML
• scientific article; zbMATH DE number 1231557 (Why is no real title available?)
• Constraints for polymorphic behaviours of concurrent ML
• From CML to its process algebra

This page was built for publication: A semantic theory for concurrent ML

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