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^*

^*Corresponding author for this work

Research Line Resilience (part of LIRS program)

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

Original language	English
Title of host publication	Formal Techniques for Distributed Objects, Components, and Systems
Subtitle of host publication	36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Editors	E. Albert, I. Lanese
Place of Publication	Cham
Publisher	Springer
Pages	142-157
Number of pages	16
ISBN (Electronic)	978-3-319-39570-8
ISBN (Print)	978-3-319-39569-2
DOIs	https://doi.org/10.1007/978-3-319-39570-8_10
Publication status	Published - 2016
Event	11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016: 36th IFIP WG 6.1 International Conference, FORTE 2016 - Heraklion, Greece Duration: 6 Jun 2016 → 9 Jun 2016 Conference number: 11

Publication series

Series	Lecture Notes in Computer Science
Volume	9688
ISSN	0302-9743

Conference

Conference	11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016
Country/Territory	Greece
City	Heraklion
Period	6/06/16 → 9/06/16

Keywords

transition system
winning strategy
labelled transition system
process algebra
branching bisimulation

Access to Document

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

Cite this

Escrig, D. D. F., Keiren, J. J. A., & Willemse, T. A. C. (2016). Branching bisimulation games. In E. Albert, & I. Lanese (Eds.), 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, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings (pp. 142-157). Springer. https://doi.org/10.1007/978-3-319-39570-8_10

Escrig, D. de Frutos ; 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, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. editor / E. Albert ; I. Lanese. Cham : Springer, 2016. pp. 142-157 (Lecture Notes in Computer Science, Vol. 9688).

@inproceedings{83f4597c0f1e49a299bd04b2a0cb68f1,

title = "Branching bisimulation games",

keywords = "transition system, winning strategy, labelled transition system, process algebra, branching bisimulation",

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

year = "2016",

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

language = "English",

isbn = "978-3-319-39569-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "142--157",

editor = "E. Albert and I. Lanese",

booktitle = "Formal Techniques for Distributed Objects, Components, and Systems",

note = "11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016 : 36th IFIP WG 6.1 International Conference, FORTE 2016 ; Conference date: 06-06-2016 Through 09-06-2016",

}

Escrig, DDF, Keiren, JJA & Willemse, TAC 2016, Branching bisimulation games. in E Albert & I Lanese (eds), 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, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Springer, Cham, Lecture Notes in Computer Science, vol. 9688, pp. 142-157, 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Greece, 6/06/16. https://doi.org/10.1007/978-3-319-39570-8_10

Branching bisimulation games. / Escrig, D. de Frutos; 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, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. ed. / E. Albert; I. Lanese. Cham: Springer, 2016. p. 142-157 (Lecture Notes in Computer Science, Vol. 9688).

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

TY - GEN

T1 - Branching bisimulation games

AU - Escrig, D. de Frutos

AU - Keiren, J.J.A.

AU - Willemse, T.A.C.

N1 - Conference code: 11

PY - 2016

Y1 - 2016

KW - transition system

KW - winning strategy

KW - labelled transition system

KW - process algebra

KW - branching bisimulation

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

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

M3 - Conference Article in proceeding

SN - 978-3-319-39569-2

T3 - Lecture Notes in Computer Science

SP - 142

EP - 157

BT - Formal Techniques for Distributed Objects, Components, and Systems

A2 - Albert, E.

A2 - Lanese, I.

PB - Springer

CY - Cham

T2 - 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016

Y2 - 6 June 2016 through 9 June 2016

ER -

Escrig DDF, Keiren JJA, Willemse TAC. Branching bisimulation games. In Albert E, Lanese I, editors, 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, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Cham: Springer. 2016. p. 142-157. (Lecture Notes in Computer Science, Vol. 9688). Epub 2016 May 24. doi: 10.1007/978-3-319-39570-8_10