scientific article; zbMATH DE number 1231557

MaRDI QIDQ4222873zbMATH OpenFDO

Authors Régis Cridlig

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume5.htm#cridlig

zbMATH Keywords

concurrent ML

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1479643
• scientific article; zbMATH DE number 1222405
• Towards a semantic theory of CML
• A symbolic semantics for abstract model checking
• Semantics for core Concurrent ML using computation types

Cited in

(8)

• Algebraic topology and concurrency
• A theory of weak bisimulation for core CML
• Linking semantic models to support \(\mathrm{CSP} \parallel \mathrm{B}\) consistency checking
• Specialization of CML message-passing primitives
• scientific article; zbMATH DE number 1222405 (Why is no real title available?)
• scientific article; zbMATH DE number 1479643 (Why is no real title available?)
• Systematic realisation of control flow analyses for CML
• CONCUR 2005 – Concurrency Theory

This page was built for publication:

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