Concurrency cannot be observed, asynchronously

DOI10.1017/S0960129513000108zbMath1361.68158OpenAlexW2056234230MaRDI QIDQ5740646

Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Paolo Baldan

Publication date: 27 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129513000108

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Asynchronous Traces and Open Petri Nets

Cites Work

• Unnamed Item
• Some congruence properties for \(\pi\)-calculus bisimilarities
• On reduction-based process semantics
• Comparing three semantics for Linda-like languages
• Mobile ambients
• A hierarchy of equivalences for asynchronous calculi
• CCS with priority guards
• Encoding Asynchronous Interactions Using Open Petri Nets
• Compositional Event Structure Semantics for the Internal π-Calculus
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi
• Compositional semantics for open Petri nets based on deterministic processes
• Concurrent and Located Synchronizations in π-Calculus
• Semantic Barbs and Biorthogonality

This page was built for publication: Concurrency cannot be observed, asynchronously