Bisimulation

Select |




Print


van Glabbeek, Robert

van Glabbeek, Robert


2011-12-05


Book Chapter


Encyclopedia of Parallel Computing


1st


1


136-139


Bisimulation equivalence is a semantic equivalence relation on labelled transition systems, which are used to represent distributed systems. It identifies systems with the same branching structure.


Springer


Concurrency, labelled transition systems, modal logic, Kripke structures, bisimulation, non-well-founded sets, abstraction, weak and branching bisimulation.


http://www.cse.unsw.edu.au/~rvg/pub/Bisimulation.pdf


978-0-387-09765-7


nicta:4723


van Glabbeek, Robert. Bisimulation. In: David Padua Editor, editor/s. Encyclopedia of Parallel Computing. Springer; 2011-12-05. 136-139.



Loading citation data...

Citation counts
(Requires subscription to view)