TY  - CHAP
AU  - Llana Díaz, Luis Fernando
AU  - Frutos Escrig, David De
AU  - Núñez García, Manuel
A4  - Fernández Iglesias, Manuel J.
A4  - Llamas Nistal, Martín
A4  - Pazos Arias, José Juan
PY  - 1997
SN  - 84-8158-065-1
UR  - https://hdl.handle.net/20.500.14352/60662
AB  - We present a new testing semantics, called friendly testing, whose main property is that the induced preorder between processes v fr is consistent with the conformance relation, and so we have, for instance, a \Phi b v fr a v fr a + b. The new theory...
LA  - eng
M2  - 281
PB  - Univ. Vigo
TI  - Introducing friendly testing
TY  - book part
ER  -