\(\pi\)-calculi
From MaRDI portal
Publication:2906943
zbMATH Open1253.68252MaRDI QIDQ2906943
Publication date: 5 September 2012
distributed systemsoperational semanticsconcurrencyprocess calculilabelled transition semantics\(\pi\)-calculioperational congruences
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (7)
The removal of $\pi $ from some undecidable problems involving elementary functions ⋮ Extended pi-Calculi ⋮ Title not available (Why is that?) ⋮ \(\pi\)-formulas and Gray code ⋮ A Look Around the Corner: The Pi-Calculus ⋮ On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations ⋮ Fair \(\pi\)
This page was built for publication: \(\pi\)-calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2906943)
