Branching bisimulation games

DOI10.1007/978-3-319-39570-8_10MaRDI QIDQ2827464zbMATH OpenOpenAlexFDO

Authors David de Frutos Escrig, Jeroen J. A. Keiren, T. A. C. Willemse

Publication date 19 October 2016

Published in Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01432915/file/426757_1_En_10_Chapter.pdf

Mathematics Subject Classification ID

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

Recommendations

• Games for bisimulations and abstraction
• Branching Bisimilarity with Explicit Divergence
• A game for linear-time-branching-time spectroscopy
• Branching bisimilarity is an equivalence indeed!
• Branching time and abstraction in bisimulation semantics

Cites work

• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• scientific article; zbMATH DE number 177845 (Why is no real title available?)
• scientific article; zbMATH DE number 1796138 (Why is no real title available?)
• A partial order approach to branching time logic model checking.
• An overview of the mCRL2 toolset and its recent advances
• Automata, logics, and infinite games. A guide to current research
• Branching Bisimilarity with Explicit Divergence
• Branching bisimilarity checking for PRS
• Branching bisimilarity is an equivalence indeed!
• Branching time and abstraction in bisimulation semantics
• CADP 2010: a toolbox for the construction and analysis of distributed processes

Cited in

(5)

• scientific article; zbMATH DE number 7243676 (Why is no real title available?)
• Equivalence checking 40 years after: a review of bisimulation tools
• Parity game reductions
• Games for bisimulations and abstraction
• Branching Bisimilarity with Explicit Divergence

Describes a project that uses

Uses Software

• mCRL
• CADP
• mCRL2

This page was built for publication: Branching bisimulation games

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