scientific article; zbMATH DE number 1512621
From MaRDI portal
zbMath0961.68091MaRDI QIDQ4508306
Publication date: 3 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
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