A stable non-interleaving early operational semantics for the pi-calculus

DOI10.1016/J.JLAMP.2019.02.006MaRDI QIDQ2423752zbMATH OpenOpenAlexWikidataFDO

Authors Thomas Hildebrandt, Christian Johansen, Håkon Normann

Publication date 20 June 2019

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.jlamp.2019.02.006

zbMATH Keywords

stabilitycausalitypi-calculusasynchronous transition systemsearly semanticsnon-interleaving

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A stable non-interleaving early operational semantics for the pi-calculus
• Event structure semantics of parallel extrusion in the pi-calculus
• Compositional Event Structure Semantics for the Internal π-Calculus
• Non-interleaving semantics for mobile processes
• A fully abstract semantics for causality in the π-calculus

Cites work

• scientific article; zbMATH DE number 3651760 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1346361 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• A calculus of communicating systems
• A calculus of mobile processes. II
• A compositional semantics for the reversible \(\pi\)-calculus
• A fully abstract semantics for causality in the \(\pi\)-calculus
• A fully abstract semantics for causality in the π-calculus
• A multiset semantics for the pi-calculus with replication
• A stable non-interleaving early operational semantics for the pi-calculus
• A static view of localities
• A theory of processes with localities
• Categorical models for concurrency: Independence, fairness and dataflow
• Causality and true concurrency: A data-flow analysis of the Pi-Calculus
• Comparing locality and causality based equivalences
• Compositional Event Structure Semantics for the Internal π-Calculus
• Concurrency and reversibility
• Concurrent Machines
• Configuration structures, event structures and Petri nets
• Event structure semantics of parallel extrusion in the pi-calculus
• Flow models of distributed computations: Three equivalent semantics for CCS
• Locality and interleaving semantics in calculi for mobile processes
• Locality based semantics for process algebras
• Modal logics for mobile processes
• Models for name-passing processes: Interleaving and causal
• Non-interleaving semantics for mobile processes
• OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
• On Recursion, Replication and Scope Mechanisms in Process Calculi
• On the expressiveness of higher dimensional automata
• Process algebras with localities.
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Refinement of actions and equivalence notions for concurrent systems
• Reversibility in the higher-order \(\pi\)-calculus
• ST-structures
• State space reduction using partial order techniques
• The \(\pi\)-calculus: A theory of mobile processes
• Typed event structures and the linear \(\pi \)-calculus

Cited in

(9)

• Event structures for the reversible early internal \(\pi\)-calculus
• Preface to the special issue on open problems in concurrency theory
• Event structure semantics of parallel extrusion in the pi-calculus
• A stable non-interleaving early operational semantics for the pi-calculus
• Compositional Event Structure Semantics for the Internal π-Calculus
• An axiomatic theory for reversible computation
• Trustworthy Global Computing
• A well-behaved LTS for the pi-calculus (abstract)
• A multiset semantics for the pi-calculus with replication

This page was built for publication: A stable non-interleaving early operational semantics for the pi-calculus

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