TY  - JOUR
AU  - García Merayo, María De Las Mercedes
AU  - Núñez García, Manuel
AU  - Hierons, Robert M.
PY  - 2012
DO  - 10.1007/s00446-011-0149-1
SN  - 0178-2770
UR  - https://hdl.handle.net/20.500.14352/42185
T2  - Distributed Computing
AB  - Some systems interact with their environment at physically distributed interfaces called ports and we separately observe sequences of inputs and outputs at each port. As a result we cannot reconstruct the global sequence that occurred and this reduces...
LA  - eng
M2  - 35
PB  - Springer Verlag
KW  - Formal approaches to testing
KW  - Systems with distributed ports
KW  - Formal methodologies to develop distributed software systems
TI  - Implementation relations and test generation for systems with distributed interfaces.
TY  - journal article
VL  - 25
ER  -