scientific article; zbMATH DE number 7319034

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

distributed systemscausality\(\pi\)-calculusasynchrony

Mathematics Subject Classification ID

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

Related Items (3)

Mixed Sessions ⋮ On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus ⋮ Mixed sessions

This page was built for publication: