Synchronised Hyperedge Replacement as a Model for Service Oriented Computing

DOI10.1007/11804192_2MaRDI QIDQ3591394zbMATH OpenOpenAlexFDO

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

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) Distributed systems (68M14) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Ambient graph rewriting
• scientific article; zbMATH DE number 1863162
• Synchronization algebras with mobility for graph transformations
• A Graph-Based Design Framework for Services
• A higher-order graph calculus for autonomic computing

Cited in

(14)

• Finding a forest in a tree
• Ambient graph rewriting
• On GS-monoidal theories for graphs with nesting
• 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?
• Structure of Birkhoff center of \(c\)-semirings
• On symbolic semantics for name-decorated contexts
• Hierarchical design rewriting with Maude
• Graph Rewriting Components

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3591394)