Publication:4499314
From MaRDI portal
zbMath0966.68148MaRDI QIDQ4499314
Publication date: 5 March 2001
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus, An Exercise on Transition Systems