A graphical fusion calculus

MaRDI QIDQ2847787zbMATH OpenFDO

Authors Ivan Lanese, Ugo Montanari

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104051515

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Mapping Fusion and Synchronized Hyperedge Replacement into logic programming
• Synchronization algebras with mobility for graph transformations
• A categorical model of the fusion calculus
• scientific article; zbMATH DE number 1223724
• A compositional coalgebraic model of fusion calculus

Cited in

(4)

• Fusion graphs: merging properties and watersheds
• Synchronization algebras with mobility for graph transformations
• Ugo Montanari and Graph Transformation
• Network Applications of Graph Bisimulation

This page was built for publication: A graphical fusion calculus

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