Publication:4508306
From MaRDI portal
zbMath0961.68091MaRDI QIDQ4508306
Publication date: 3 October 2000
03B70: Logic in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Encoding Distributed Areas and Local Communication into the π-Calculus, Mobile objects as mobile processes, On the Expressive Power of Polyadic Synchronisation in π-calculus
Uses Software