Branching bisimulation games

D. de Frutos Escrig, J.J.A. Keiren, T.A.C. Willemse

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
2 Downloads (Pure)

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.

Original languageEnglish
Title of host publicationFormal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings
PublisherSpringer
Pages142-157
Number of pages16
ISBN (Print)9783319395692
DOIs
Publication statusPublished - 2016
Event36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016 - Heraklion, Crete, Greece
Duration: 6 Jun 20169 Jun 2016

Publication series

NameLecture Notes in Computer Science
Volume9688
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016
CountryGreece
CityHeraklion, Crete
Period6/06/169/06/16

Fingerprint Dive into the research topics of 'Branching bisimulation games'. Together they form a unique fingerprint.

  • Cite this

    de Frutos Escrig, D., Keiren, J. J. A., & Willemse, T. A. C. (2016). Branching bisimulation games. In Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings (pp. 142-157). (Lecture Notes in Computer Science; Vol. 9688). Springer. https://doi.org/10.1007/978-3-319-39570-8_10