A theory of weak bisimulation for Core CML

DOI10.1017/S0956796898003165MaRDI QIDQ4236976zbMATH OpenOpenAlexFDO

Authors William Ferreira, Alan Jeffrey, Matthew Hennessy

Publication date 28 March 1999

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796898003165

zbMATH Keywords

CMLConcurrent ML

Mathematics Subject Classification ID

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

Recommendations

• A theory of weak bisimulation for core CML
• A theory of bisimulation for a fragment of concurrent ML with local names
• Semantics for core Concurrent ML using computation types
• Towards a semantic theory of CML
• From CML to its process algebra

Cited in

(10)

• A Typed Calculus for Querying Distributed XML Documents
• A fully abstract may testing semantics for concurrent objects
• More on bisimulations for higher order \(\pi\)-calculus
• Modelling dynamic web data
• A theory of weak bisimulation for core CML
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• A theory of bisimulation for a fragment of concurrent ML with local names
• Semantics for core Concurrent ML using computation types
• scientific article; zbMATH DE number 177855 (Why is no real title available?)
• From CML to its process algebra

Describes a project that uses

Uses Software

• Facile

This page was built for publication: A theory of weak bisimulation for Core CML

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