scientific article; zbMATH DE number 1973128

zbMath1017.68074MaRDI QIDQ4421729

Roberto Bruni, Ugo Montanari

Publication date: 1 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2128/21280380.htm

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 (4)

On the Synthesis of Zero-Safe Nets ⋮ Modeling dependencies and simultaneity in membrane system computations ⋮ Towards a Notion of Transaction in Graph Rewriting ⋮ GETGRATS

This page was built for publication: