scientific article; zbMATH DE number 1863162

zbMath1006.68538MaRDI QIDQ4791833

Dan Hirsch, Ugo Montanari

Publication date: 3 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2154/21540121.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

Relating functional requirements and software architecture: separation and consistency of concerns ⋮ Ugo Montanari and Graph Transformation ⋮ Explicit State Model Checking for Graph Grammars ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ Network Applications of Graph Bisimulation ⋮ Parametric synchronizations in mobile nominal calculi ⋮ Exploiting User-definable Synchronizations in Graph Transformation ⋮ GETGRATS ⋮ Two Graph-Based Techniques for Software Architecture Reconfiguration ⋮ Pure bigraphs: structure and dynamics ⋮ PRISMA: A Mobile Calculus with Parametric Synchronization ⋮ Bigraphs and Their Algebra