TY  - CHAP
AU  - Frutos Escrig, David De
AU  - Keiren, J. J. A.
AU  - Willemse, T. A. C.
A4  - Albert, Elvira
A4  - Lanese, Ivan
PY  - 2016
DO  - 10.1007/978-3-319-39570-8_10
SN  - 978-331939569-2
UR  - https://hdl.handle.net/20.500.14352/24892
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.,...
LA  - eng
M2  - 142
PB  - Springer Verlag
KW  - Specifications
KW  - Branching bisimilarity
KW  - Branching bisimulation
KW  - In-process
KW  - Non-conformance
KW  - Root cause
KW  - Silent step
TI  - Branching bisimulation games.
TY  - book part
ER  -