scientific article; zbMATH DE number 2102772

zbMath1046.68613MaRDI QIDQ4818860

Chiara Bodei, Corrado Priami, Pierpaolo Degano

Publication date: 24 September 2004

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

Mathematics Subject Classification ID

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

Related Items

Making random choices invisible to the scheduler, Non-interleaving semantics for mobile processes