Universidad Complutense de Madrid
E-Prints Complutense

Branching bisimulation games.



Último año

Frutos Escrig, David de y Keiren, J.J.A. y Willemse, T.A.C. (2016) Branching bisimulation games. In Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science (9688). Springer Verlag, pp. 142-157. ISBN 978-331939569-2

[img] PDF
Restringido a Sólo personal autorizado del repositorio


URL Oficial: http://link.springer.com/chapter/10.1007%2F978-3-319-39570-8_10

URLTipo de URL


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.

Tipo de documento:Sección de libro
Información Adicional:

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

Palabras clave:Specifications; Branching bisimilarity; Branching bisimulation; In-process; Non-conformance; Root cause; Silent step
Materias:Ciencias > Informática > Sistemas operativos (Ordenadores)
Código ID:39277
Depositado:07 Oct 2016 12:09
Última Modificación:21 Nov 2016 09:44

Descargas en el último año

Sólo personal del repositorio: página de control del artículo