Synchronization algebras with mobility for graph transformations

MaRDI QIDQ2848668zbMATH OpenFDO

Authors Ivan Lanese, Ugo Montanari

Publication date 26 September 2013

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

Mathematics Subject Classification ID

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

Recommendations

• Hoare vs Milner: comparing synchronizations in a graphical framework with mobility
• Synchronized hyperedge replacement with name mobility. A graphical calculus for mobile systems
• A LTS semantics of ambients via graph synchronization with mobility
• A graphical fusion calculus
• Exploiting user-definable synchronizations in graph transformation

Cited in

(13)

• A Petri net view of covalent bonds
• Parallel rewriting of attributed graphs
• A graphical fusion calculus
• Hoare vs Milner: comparing synchronizations in a graphical framework with mobility
• Ugo Montanari and Graph Transformation
• Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
• PRISMA: A Mobile Calculus with Parametric Synchronization
• Continuous Additive Algebras and Injective Simulations of Synchronization Trees
• Synchronized hyperedge replacement with name mobility. A graphical calculus for mobile systems
• Parallel independence in attributed graph rewriting
• Exploiting user-definable synchronizations in graph transformation
• A logic for application level QoS
• Parametric synchronizations in mobile nominal calculi

This page was built for publication: Synchronization algebras with mobility for graph transformations

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