First-order axioms for asynchrony

DOI10.1007/3-540-63141-0_26zbMath1512.68098OpenAlexW1879413597MaRDI QIDQ6044130

Peter Selinger

Publication date: 17 May 2023

Published in: CONCUR '97: Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63141-0_26

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Symmetric and Asymmetric Asynchronous Interaction, A fully abstract may testing semantics for concurrent objects, On Synchronous and Asynchronous Interaction in Distributed Systems, Dynamical systems and sheaves, Trace and testing equivalence on asynchronous processes

Cites Work

• A calculus of communicating systems
• The chemical abstract machine
• A proof of the Kahn principle for input/output automata
• Concurrent Machines
• On bisimulations for the asynchronous π-calculus
• A calculus of mobile agents