Concurrency cannot be observed, asynchronously

DOI10.1017/S0960129513000108MaRDI QIDQ5740646zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Trace and testing equivalence on asynchronous processes
• scientific article; zbMATH DE number 4210118
• First-order axioms for asynchrony
• True concurrency in models of asynchronous circuit behavior
• Axiomatising Finite Concurrent Processes

Cites work

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

Cited in

(1)

• Asynchronous traces and open Petri nets

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

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