A new natural structural congruence in the pi-calculus with replication
From MaRDI portal
Publication:1889854
DOI10.1007/s00236-004-0141-3zbMath1057.03022OpenAlexW2029787555MaRDI QIDQ1889854
Tjalling Gelsema, Joost Engelfriet
Publication date: 13 December 2004
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-004-0141-3
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
An exercise in structural congruence ⋮ On the Relationship between π-Calculus and Finite Place/Transition Petri Nets ⋮ Observing Success in the Pi-Calculus ⋮ Structural Rewriting in the pi-Calculus. ⋮ A calculus of quality for robustness against unreliable communication ⋮ On the decidability and complexity of the structural congruence for beta-binders ⋮ Relating state-based and process-based concurrency through linear logic (full-version) ⋮ A theory of structural stationarity in the \(\pi\)-calculus ⋮ Systemic yoyo structure in human thoughts and the fourth crisis in mathematics ⋮ Descriptive definitions of potential and actual infinities ⋮ The Decidability of the Structural Congruence for Beta-binders
Uses Software
