Branching bisimulation games

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)
2 Downloads (Pure)

Samenvatting

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.

Originele taal-2Engels
TitelFormal 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
UitgeverijSpringer
Pagina's142-157
Aantal pagina's16
ISBN van geprinte versie9783319395692
DOI's
StatusGepubliceerd - 2016
Evenement36th 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, Griekenland
Duur: 6 jun 20169 jun 2016

Publicatie series

NaamLecture Notes in Computer Science
Volume9688
ISSN van geprinte versie03029743
ISSN van elektronische versie16113349

Congres

Congres36th 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
LandGriekenland
StadHeraklion, Crete
Periode6/06/169/06/16

Vingerafdruk Duik in de onderzoeksthema's van 'Branching bisimulation games'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    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 (blz. 142-157). (Lecture Notes in Computer Science; Vol. 9688). Springer. https://doi.org/10.1007/978-3-319-39570-8_10