Branching bisimulation games

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

doi:10.1007/978-3-319-39570-8_10

Branching bisimulation games

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

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 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 language	English
Title of host publication	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
Publisher	Springer
Pages	142-157
Number of pages	16
ISBN (Print)	9783319395692
DOIs	https://doi.org/10.1007/978-3-319-39570-8_10
Publication status	Published - 2016
Event	36th 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 2016 → 9 Jun 2016

Publication series

Name	Lecture Notes in Computer Science
Volume	9688
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Conference

Conference	36th 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
Country/Territory	Greece
City	Heraklion, Crete
Period	6/06/16 → 9/06/16

Access to Document

10.1007/978-3-319-39570-8_10

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

de Frutos Escrig, D. ; Keiren, J.J.A. ; Willemse, T.A.C. / Branching bisimulation games. 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. Springer, 2016. pp. 142-157 (Lecture Notes in Computer Science).

@inproceedings{61f7912a82574854aa5fac9b86b518a7,

title = "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.",

author = "{de Frutos Escrig}, D. and J.J.A. Keiren and T.A.C. Willemse",

year = "2016",

doi = "10.1007/978-3-319-39570-8_10",

language = "English",

isbn = "9783319395692",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "142--157",

booktitle = "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",

address = "Germany",

note = "36th 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 ; Conference date: 06-06-2016 Through 09-06-2016",

}

de Frutos Escrig, D, Keiren, JJA & Willemse, TAC 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. Lecture Notes in Computer Science, vol. 9688, Springer, pp. 142-157, 36th 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, 6/06/16. https://doi.org/10.1007/978-3-319-39570-8_10

Branching bisimulation games. / de Frutos Escrig, D.; Keiren, J.J.A.; Willemse, T.A.C.
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. Springer, 2016. p. 142-157 (Lecture Notes in Computer Science; Vol. 9688).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Branching bisimulation games

AU - de Frutos Escrig, D.

AU - Keiren, J.J.A.

AU - Willemse, T.A.C.

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84977548181&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-39570-8_10

DO - 10.1007/978-3-319-39570-8_10

M3 - Conference contribution

AN - SCOPUS:84977548181

SN - 9783319395692

T3 - Lecture Notes in Computer Science

SP - 142

EP - 157

BT - 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

PB - Springer

T2 - 36th 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

Y2 - 6 June 2016 through 9 June 2016

ER -

de Frutos Escrig D, Keiren JJA , Willemse TAC. 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. Springer. 2016. p. 142-157. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-39570-8_10

Branching bisimulation games

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this