scientific article; zbMATH DE number 1759487

zbMath0998.68087MaRDI QIDQ4536441

Ugo Montanari, Roberto Bruni, Vladimiro Sassone

Publication date: 25 June 2002

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

zbMATH Keywords

bisimulationtile logicSOS formatsdynamic bisimulation

Mathematics Subject Classification ID

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

Related Items

Rewriting logic: Roadmap and bibliography, GETGRATS, Observational congruences for dynamically reconfigurable tile systems, Comparing cospan-spans and tiles via a Hoare-style process calculus, Dynamic connectors for concurrency