Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
From MaRDI portal
Publication:3591394
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
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