A theory of communicating processes with value passing

DOI10.1006/INCO.1993.1067MaRDI QIDQ1317426zbMATH OpenOpenAlexFDO

Authors Matthew Hennessy, Anna Ingolfsdottir

Publication date 24 March 1994

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.1993.1067

zbMATH Keywords

process algebrasproof systemcommunicating processes

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
• A theory of higher order communicating systems
• Communicating processes with value-passing and assignments
• scientific article; zbMATH DE number 4205976
• A proof system for communicating processes with value-passing

Cited in

(30)

• A semantic theory for value-passing processes based on the late approach
• Probabilistic bisimulations for quantum processes
• Branching bisimulation semantics for quantum processes
• Symbolic bisimulation for quantum processes
• Theory of interaction
• scientific article; zbMATH DE number 7204939 (Why is no real title available?)
• Revisiting sequential composition in process calculi
• Additive models of probabilistic processes
• scientific article; zbMATH DE number 177815 (Why is no real title available?)
• scientific article; zbMATH DE number 781171 (Why is no real title available?)
• Non-deterministic structures of computation
• Divergence in testing and readiness semantics
• A thesis for interaction
• Late and early semantics coincide for testing
• Communicating processes with value-passing and assignments
• A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement
• Relational concurrent refinement. II: Internal operations and outputs
• Semantics of query-driven communication of exact values
• Proof systems for message-passing process algebras
• Consistently-detecting monitors
• A fully abstract denotational semantics for the \(\pi\)-calculus
• A conservative look at operational semantics with variable binding
• A symbolic approach to value-passing processes
• The Value-Passing Calculus
• Bisimulations for probabilistic and quantum processes (invited paper)
• A behavioural theory of first-order CML
• Linda-based applicative and imperative process algebras
• A presheaf semantics of value-passing processes
• A ground-complete axiomatization of stateless bisimilarity over Linda
• Value-passing CCS with noisy channels

This page was built for publication: A theory of communicating processes with value passing

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