Branching bisimulation games

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

*Corresponding author for this work

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

Original languageEnglish
Title of host publicationFormal Techniques for Distributed Objects, Components, and Systems
Subtitle of host publication36th 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
EditorsE. Albert, I. Lanese
Place of PublicationCham
PublisherSpringer
Pages142-157
Number of pages16
ISBN (Electronic)978-3-319-39570-8
ISBN (Print)978-3-319-39569-2
DOIs
Publication statusPublished - 2016
Event11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016: 36th IFIP WG 6.1 International Conference, FORTE 2016 - Heraklion, Greece
Duration: 6 Jun 20169 Jun 2016
Conference number: 11

Publication series

SeriesLecture Notes in Computer Science
Volume9688
ISSN0302-9743

Conference

Conference11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016
Country/TerritoryGreece
CityHeraklion
Period6/06/169/06/16

Keywords

  • transition system
  • winning strategy
  • labelled transition system
  • process algebra
  • branching bisimulation

Cite this