Publication:2748155
From MaRDI portal
zbMath0985.68039MaRDI QIDQ2748155
Flemming Nielson, Hanne Riis Nielson
Publication date: 14 October 2001
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Flow-sensitive type systems and the ambient calculus, Dynamic management of capabilities in a network aware coordination language, A monotone framework for CCS