TY  - JOUR
AU  - Frutos Escrig, David De
AU  - Llana Díaz, Luis Fernando
AU  - Núñez García, Manuel
PY  - 1998
DO  - 10.1007/BF02946494
SN  - 1000-9000
UR  - https://hdl.handle.net/20.500.14352/58388
T2  - Journal of Computer Science and Technology
AB  - We present a new testing semantics, called friendly testing, whose main property is that the induced preorder between processes ⊑fr is consistent with the conformance relation, and so we have, for instance,a ⊕b ⊑fr a ⊑fr a +b. The new theory is...
LA  - eng
M2  - 531
PB  - Springer
KW  - Modes of computation (nondeterministic
KW  - Parallel
KW  - Interactive
KW  - Probabilistic
KW  - Semantics
TI  - An invitation to friendly testing
TY  - journal article
VL  - 13
ER  -