From CML to its process algebra

DOI10.1016/0304-3975(95)00017-8zbMath0873.68131OpenAlexW2039219985MaRDI QIDQ672132

Flemming Nielson, Hanne Riis Nielson

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00017-8

zbMATH Keywords

operational semanticscommunication behaviours of CML programsconcurrent programming languagessemantics of a process algebraStandard ML

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

Parameterised notions of computation, A behavioural theory of first-order CML, Language-based performance prediction for distributed and mobile systems, Primitives for authentication in process algebras.

Uses Software

• ML
• Facile

Cites Work

• Plain CHOCS. A second generation calculus for higher order processes
• A syntactic approach to type soundness
• A theory of bisimulation for the \(\pi\)-calculus
• A new type assignment for λ-terms
• Two-Level Functional Languages
• The fork calculus
• A semantic basis for Quest
• Logic and Algebra of Specification
• A fully abstract denotational semantics for the calculus of higher-order communicating systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item