Hoare vs Milner: comparing synchronizations in a graphical framework with mobility

MaRDI QIDQ2852051zbMATH OpenFDO

Authors Ivan Lanese, Ugo Montanari

Publication date 7 October 2013

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2242585
• scientific article; zbMATH DE number 7730616
• scientific article; zbMATH DE number 3954291
• scientific article; zbMATH DE number 2044490
• Synchronization algebras with mobility for graph transformations
• On the expressiveness of mobile synchronizing Petri nets
• On deciding synchronizability for asynchronously communicating systems
• scientific article; zbMATH DE number 1408333
• scientific article; zbMATH DE number 1863162

Cited in

(9)

• Bialgebraic foundations for the operational semantics of string diagrams
• Synchronization algebras with mobility for graph transformations
• Ugo Montanari and Graph Transformation
• Models of Computation: A Tribute to Ugo Montanari’s Vision
• Network Applications of Graph Bisimulation
• scientific article; zbMATH DE number 919851 (Why is no real title available?)
• Encoding CSP into CCS
• Exploiting user-definable synchronizations in graph transformation
• Bialgebraic semantics for string diagrams

This page was built for publication: Hoare vs Milner: comparing synchronizations in a graphical framework with mobility

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