scientific article; zbMATH DE number 1759616

zbMath0999.68142MaRDI QIDQ4536607

Narciso Martí-Oliet, Roberto Bruni, David de Frutos-Escrig, Ugo Montanari

Publication date: 25 June 2002

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

Rewriting logic: Roadmap and bibliography, SMT-based generation of symbolic automata, Models of Computation: A Tribute to Ugo Montanari’s Vision, GETGRATS, Observational congruences for dynamically reconfigurable tile systems, Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic, Comparing cospan-spans and tiles via a Hoare-style process calculus, Dynamic connectors for concurrency