scientific article

zbMath0978.68104MaRDI QIDQ2769427

Maria Grazia Buscemi, Vladimiro Sassone

Publication date: 5 February 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2030/20300104

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

Encoding Asynchronous Interactions Using Open Petri Nets, Typed event structures and the linear \(\pi \)-calculus, Dynamic connectors for concurrency