Communicating processes with value-passing and assignments

DOI10.1007/BF01212486MaRDI QIDQ688827zbMATH OpenOpenAlexFDO

Authors Matthew Hennessy, Anna Ingolfsdottir

Publication date 6 December 1993

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01212486

zbMATH Keywords

acceptance treescommunicating processesinequationsOccamtestingvalue-passing

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 177815
• Denotational semantics of communicating sequential programs
• A theory of communicating processes with value passing
• Semantics of communicating processes
• A semantic theory for value-passing processes based on the late approach

Cites work

• A calculus of communicating systems
• A linear-history semantics for languages for distributed programming
• A proof system for communicating processes with value-passing
• A theory of communicating processes with value passing
• A Theory of Communicating Sequential Processes
• Acceptance trees
• Communicating sequential processes
• scientific article; zbMATH DE number 3808928 (Why is no real title available?)
• scientific article; zbMATH DE number 3902017 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3754002 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• The Category-Theoretic Solution of Recursive Domain Equations
• The laws of Occam programming

Cited in

(10)

• Bisimulations for a calculus of broadcasting systems
• A behavioural theory of first-order CML
• A theory of communicating processes with value passing
• The Value-Passing Calculus
• scientific article; zbMATH DE number 177815 (Why is no real title available?)
• scientific article; zbMATH DE number 1231450 (Why is no real title available?)
• A ground-complete axiomatization of stateless bisimilarity over Linda
• Imperative process algebra and models of parallel computation
• Late and early semantics coincide for testing
• Theory of interaction

This page was built for publication: Communicating processes with value-passing and assignments

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