New Bisimulation Semantics for Distributed Systems

DOI10.1007/978-3-540-73196-2_10MaRDI QIDQ3614847zbMATH OpenOpenAlexFDO

Authors David de Frutos Escrig, Fernando Rosa-Velardo, Carlos Gregorio Rodríguez

Publication date 10 March 2009

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-73196-2_10

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

• Distributed bisimulations
• Bisimulation from open maps
• scientific article; zbMATH DE number 938519
• scientific article; zbMATH DE number 3898224
• Structural operational semantics for weak bisimulations

Cites work

• A calculus of communicating systems
• A syntactical approach to weak (bi-)simulation for coalgebras
• An efficient algorithm for computing bisimulation equivalence
• Bisimulation and action refinement
• Bisimulation and co-induction: some problems
• Bisimulation can't be traced
• Bisimulation from open maps
• Bisimulation on speed: a unified approach
• CONCUR 2005 – Concurrency Theory
• Concurrency and atomicity
• Concurrent bisimulations in Petri nets
• Distributed bisimulations
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Higher-level synchronising devices in Meije-SCCS
• scientific article; zbMATH DE number 176758 (Why is no real title available?)
• Introduction to coalgebra. Towards mathematics of states and observation
• Maximality preserving bisimulation
• Non-strongly stable orders also define interesting simulation relations
• Petri nets and bisimulation
• Replicated Ubiquitous Nets
• Simulations in coalgebra
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Universal coalgebra: A theory of systems
• Weak bisimulation for action-type coalgebras (extended abstract)

Cited in

(3)

• (Bi)simulations up-to characterise process semantics
• Distributed branching bisimulation reduction of state spaces
• Simulations up-to and canonical preorders (extended abstract)

This page was built for publication: New Bisimulation Semantics for Distributed Systems

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