TY  - CHAP
AU  - Frutos Escrig, David De
AU  - Gregorio Rodríguez, Carlos
A4  - Grabowski, Jens
A4  - Nielsen, Brian
PY  - 2005
DO  - 10.1007/978-3-540-31848-4_3
SN  - 978-3-540-25109-5
UR  - https://hdl.handle.net/20.500.14352/53227
AB  - This paper addresses the study of bisimulation based conformance relations in which input and output actions not presented in the specification are added to the implementation. A new definition, that we called soft conformance, is given. Then, we...
LA  - eng
M2  - 33
PB  - Springer
TI  - Preserving contexts for soft conformance relation
TY  - book part
ER  -