Network Applications of Graph Bisimulation

DOI10.1007/978-3-540-87405-8_10MaRDI QIDQ3540393zbMATH OpenOpenAlexFDO

Authors Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto

Publication date 20 November 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87405-8_10

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

• Publication:5714438
• Publication:4738295
• Hoare vs Milner: comparing synchronizations in a graphical framework with mobility
• Decision procedures and graph reductions for bisimulation equivalences part 1
• Structural and behavioural equivalences of networks

Cites work

• scientific article; zbMATH DE number 5542185 (Why is no real title available?)
• scientific article; zbMATH DE number 2044490 (Why is no real title available?)
• scientific article; zbMATH DE number 1927579 (Why is no real title available?)
• scientific article; zbMATH DE number 1759615 (Why is no real title available?)
• scientific article; zbMATH DE number 1863157 (Why is no real title available?)
• scientific article; zbMATH DE number 1863162 (Why is no real title available?)
• scientific article; zbMATH DE number 2242585 (Why is no real title available?)
• A calculus of mobile processes. I
• A graphical fusion calculus
• Ambient graph rewriting
• Distributed processes and location failures
• Foundations of Software Science and Computation Structures
• Foundations of Software Science and Computational Structures
• Mobile ambients
• Rational unification in 28 characters

Cited in

(7)

• Network simulation environment (NSE): A generic framework for network graphs
• Application of bipartite graphs for achieving race-free state assignments
• Graph-based models of internetworking systems.
• Visualisation and simulation with object-oriented networks
• Bisimulations on Data Graphs
• scientific article; zbMATH DE number 2242585 (Why is no real title available?)
• Depletable channels: dynamics, behaviour, and efficiency in network design

This page was built for publication: Network Applications of Graph Bisimulation

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