Branching bisimulation games.
| dc.book.title | Formal Techniques for Distributed Objects, Components, and Systems | |
| dc.contributor.author | Frutos Escrig, David De | |
| dc.contributor.author | Keiren, J. J. A. | |
| dc.contributor.author | Willemse, T. A. C. | |
| dc.contributor.editor | Albert, Elvira | |
| dc.contributor.editor | Lanese, Ivan | |
| dc.date.accessioned | 2023-06-18T07:15:34Z | |
| dc.date.available | 2023-06-18T07:15:34Z | |
| dc.date.issued | 2016 | |
| dc.description | 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 | en |
| dc.description.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. | en |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/39277 | |
| dc.identifier.citation | Frutos Escrig, D., Keiren, J. J. A. & Willemse, T. A. C. «Branching Bisimulation Games». Formal Techniques for Distributed Objects, Components, and Systems, editado por Elvira Albert y Ivan Lanese, vol. 9688, Springer International Publishing, 2016, pp. 142-57. DOI.org (Crossref), https://doi.org/10.1007/978-3-319-39570-8_10. | |
| dc.identifier.doi | 10.1007/978-3-319-39570-8_10 | |
| dc.identifier.isbn | 978-331939569-2 | |
| dc.identifier.officialurl | https//doi.org/10.1007/978-3-319-39570-8_10 | |
| dc.identifier.relatedurl | http://link.springer.com/chapter/10.1007%2F978-3-319-39570-8_10 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/24892 | |
| dc.issue.number | 9688 | |
| dc.language.iso | eng | |
| dc.page.final | 157 | |
| dc.page.initial | 142 | |
| dc.page.total | 274 | |
| dc.publisher | Springer Verlag | |
| dc.relation.ispartofseries | Lecture Notes in Computer Science | |
| dc.rights.accessRights | restricted access | |
| dc.subject.cdu | 004.451.9 | |
| dc.subject.keyword | Specifications | |
| dc.subject.keyword | Branching bisimilarity | |
| dc.subject.keyword | Branching bisimulation | |
| dc.subject.keyword | In-process | |
| dc.subject.keyword | Non-conformance | |
| dc.subject.keyword | Root cause | |
| dc.subject.keyword | Silent step | |
| dc.subject.ucm | Sistemas operativos (Ordenadores) | |
| dc.subject.unesco | 3304.16 Diseño Lógico | |
| dc.title | Branching bisimulation games. | en |
| dc.type | book part | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | fc861853-ad02-4152-b8b0-e0a8df6080dc | |
| relation.isAuthorOfPublication.latestForDiscovery | fc861853-ad02-4152-b8b0-e0a8df6080dc |
Download
Original bundle
1 - 1 of 1