Towards a semantic theory of CML

DOI10.1007/3-540-60246-1_151MaRDI QIDQ3569034zbMATH OpenOpenAlexFDO

Authors William Ferreira, Matthew Hennessy

Publication date 17 June 2010

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

Full work available at URL https://doi.org/10.1007/3-540-60246-1_151

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1479643
• scientific article; zbMATH DE number 683361
• A proposed categorical semantics for pure ML
• A generalization of the Routley-Meyer semantic framework
• Conceptual semantic systems theory and applications
• A proposed categorical semantics for ML modules
• Rewriting theory for the life sciences: a unifying theory of CTMC semantics
• Rewriting theory for the life sciences: a unifying theory of CTMC semantics

Cited in

(11)

• Full abstractness for a functional/concurrent language with higher-order value-passing
• A behavioural theory of first-order CML
• A theory of bisimulation for a fragment of concurrent ML with local names
• Semantics for core Concurrent ML using computation types
• A model of cooperative threads
• scientific article; zbMATH DE number 1231557 (Why is no real title available?)
• A theory of weak bisimulation for Core CML
• scientific article; zbMATH DE number 1479643 (Why is no real title available?)
• A model of cooperative threads
• scientific article; zbMATH DE number 5050058 (Why is no real title available?)
• From CML to its process algebra

This page was built for publication: Towards a semantic theory of CML

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