Skip to Main content Skip to Navigation
Conference papers

Branching Bisimulation Games

Abstract : Branching bisimilarity and branching bisimilarity with explicit divergences are typically used in process algebras with silent steps when relating implementations to specifications. When an implementation fails to conform to its specification, i.e., when both are not related by branching bisimilarity [with explicit divergence], pinpointing the root causes can be challenging. In this paper, we provide characterisations of branching bisimilarity [with explicit divergence] as games between SPOILER and DUPLICATOR, offering an operational understanding of both relations. Moreover, we show how such games can be used to assist in diagnosing non-conformance between implementation and specification.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-01432915
Contributor : Hal Ifip <>
Submitted on : Thursday, January 12, 2017 - 11:34:12 AM
Last modification on : Friday, September 29, 2017 - 2:36:04 PM
Long-term archiving on: : Friday, April 14, 2017 - 5:13:46 PM

File

426757_1_En_10_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

David Frutos Escrig, Jeroen Keiren, Tim Willemse. Branching Bisimulation Games. 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.142-157, ⟨10.1007/978-3-319-39570-8_10⟩. ⟨hal-01432915⟩

Share

Metrics

Record views

156

Files downloads

331