Causality and true concurrency: A data-flow analysis of the Pi-Calculus

DOI10.1007/3-540-60043-4_59zbMath1496.68228OpenAlexW1606025221MaRDI QIDQ5096391

Radha Jagadeesan, Lalita Jategaonkar Jagadeesan

Publication date: 16 August 2022

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60043-4_59

Mathematics Subject Classification ID

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

Related Items

From global to local state, coalgebraically and compositionally, Models for name-passing processes: Interleaving and causal, A stable non-interleaving early operational semantics for the pi-calculus, Event structure semantics for multiparty sessions, Typed event structures and the linear \(\pi \)-calculus, Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS, Non-interleaving semantics for mobile processes

Cites Work

• Modular construction and partial order semantics of Petri nets
• Linear logic
• Modeling concurrency with partial orders
• Petri nets, event structures and domains. I
• New foundations for the geometry of interaction
• A theory of processes with localities
• A fully abstract semantics for causality in the π-calculus
• π-Calculus semantics of object-oriented programming languages
• A generalized Kahn Principle for abstract asynchronous networks
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item