Synchronised Hyperedge Replacement as a Model for Service Oriented Computing

DOI10.1007/11804192_2zbMath1196.68025OpenAlexW2113463646MaRDI QIDQ3591394

Dan Hirsch, Ugo Montanari, Ivan Lanese, Emilio Tuosto, Gian-Luigi Ferrari

Publication date: 11 September 2007

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11804192_2

Mathematics Subject Classification ID

Hypergraphs (05C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Distributed systems (68M14)

Related Items (12)

Reversible Causal Graph Dynamics ⋮ Configuration logics: modeling architecture styles ⋮ Ugo Montanari and Graph Transformation ⋮ Graph-Based Design and Analysis of Dynamic Software Architectures ⋮ Business Process Modeling for Organizational Knowledge Management ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ What Do Semantics Matter When the Meat Is Overcooked? ⋮ On Symbolic Semantics for Name-decorated Contexts ⋮ Hierarchical Design Rewriting with Maude ⋮ On GS-Monoidal Theories for Graphs with Nesting ⋮ Finding a Forest in a Tree ⋮ Structure of Birkhoff center of c-semirings

This page was built for publication: Synchronised Hyperedge Replacement as a Model for Service Oriented Computing