Publication:4965862
From MaRDI portal
zbMath1457.68192arXiv1108.4469MaRDI QIDQ4965862
Uwe Nestmann, Kirstin Peters, Jens-Wolfhard Schicke
Publication date: 10 March 2021
Full work available at URL: https://arxiv.org/abs/1108.4469
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Mixed Sessions, On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus, Mixed sessions