E. Brinksma, L. Heerink, and J. Tretmans, Factorized test generation for multiinput/output transition systems, 11th IFIP Workshop on Testing of Communicating Systems, pp.67-82, 1998.
DOI : 10.1007/978-0-387-35381-4_5

L. Cacciari and O. Rafiq, Controllability and observability in distributed testing, Information and Software Technology, vol.41, issue.11-12, pp.767-780, 1999.
DOI : 10.1016/S0950-5849(99)00036-1

A. L. Cavalcanti and M. Gaudel, Testing for Refinement in CSP, ICFEM, pp.151-170, 2007.
DOI : 10.1007/978-3-540-76650-6_10

URL : https://hal.archives-ouvertes.fr/hal-00260928

R. Dssouli and G. V. Bochmann, Error detection with multiple observers, PSTV, pp.483-494, 1985.

R. M. Hierons, Overcoming controllability problems in distributed testing from an input output transition system. Submitted. Available at people
DOI : 10.1007/s00446-011-0153-5

R. M. Hierons, M. G. Merayo, and M. Núñez, Controllable Test Cases for the Distributed Test Architecture, 6th ATVA, pp.201-215, 2008.
DOI : 10.1007/978-3-540-73066-8_12

R. M. Hierons, M. G. Merayo, and M. Nunez, Implementation Relations for the Distributed Test Architecture, 20th TESTCOM/FATES, pp.200-215, 2008.
DOI : 10.1007/978-3-540-73066-8_12

R. M. Hierons, M. G. Merayo, and M. Núñez, Scenarios-based testing of systems with distributed ports. Software -Practice and Experience, 2011.

R. M. Hierons and M. Nunez, Scenarios-based testing of systems with distributed ports, 10th QSIC, 2010.

J. Jacob, Refinement of shared systems, The Theory and Practice of Refinement, pp.27-36, 1989.

C. Jard, Synthesis of distributed testers from true-concurrency models of reactive systems, Information and Software Technology, vol.45, issue.12, pp.45805-814, 2003.
DOI : 10.1016/S0950-5849(03)00061-2

URL : https://hal.archives-ouvertes.fr/inria-00072021

C. Jard, T. Jéron, H. Kahlouche, and C. Viho, Towards Automatic Distribution of Testers for Distributed Conformance Testing, pp.353-368, 1998.
DOI : 10.1007/978-0-387-35394-4_22

S. Pickin, C. Jard, Y. L. Traon, T. Jéron, J. Jézéquel et al., System Test Synthesis from UML Models of Distributed Software, Formal Techniques for Networked and Distributed Systems, pp.97-113, 2002.
DOI : 10.1007/3-540-36135-9_7

URL : https://hal.archives-ouvertes.fr/hal-00794606

A. W. Roscoe, The Theory and Practice of Concurrency, 1998.

B. Sarikaya and G. V. Bochmann, Synchronization and Specification Issues in Protocol Testing, IEEE Transactions on Communications, vol.32, issue.4, pp.389-395, 1984.
DOI : 10.1109/TCOM.1984.1096074

H. Ural and C. Williams, Constructing checking sequences for distributed testing, Formal Aspects of Computing, vol.18, issue.1, pp.84-101, 2006.
DOI : 10.1007/s00165-005-0083-8