J. Tretmans, Test generation with inputs, outputs and repetitive quiescence. Software -Concepts and Tools, pp.103-120, 1996.

L. Heerink and J. Tretmans, Refusal testing for classes of transition systems with inputs and outputs, IFIP Conference Proceedings, vol.107, pp.23-38, 1997.
DOI : 10.1007/978-0-387-35271-8_2

G. Lestiennes and M. C. Gaudel, Test de syst??mes r??actifs non r??ceptifs, Journal Europ??en des Syst??mes Automatis??s, vol.39, issue.1-3, pp.255-270, 2005.
DOI : 10.3166/jesa.39.255-270

A. Faivre, C. Gaston, L. Gall, P. Touil, and A. , Test Purpose Concretization through Symbolic Action Refinement, In: TestCom. LNCS, vol.17, issue.3, pp.184-199, 2008.
DOI : 10.1007/11430230_7

T. Jéron, Symbolic Model-based Test Selection, Electronic Notes in Theoretical Computer Science, vol.240, pp.167-184, 2009.
DOI : 10.1016/j.entcs.2009.05.051

M. Krichen and S. Tripakis, Conformance testing for real-time systems, Formal Methods in System Design, vol.10, issue.1???2, pp.238-304, 2009.
DOI : 10.1007/s10703-009-0065-1

A. Hessel, K. G. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson et al., Testing Real-Time Systems Using UPPAAL, LNCS, vol.4949, pp.77-117, 2008.
DOI : 10.1007/978-3-540-78917-8_3

R. M. Hierons, M. G. Merayo, and M. Núñez, Implementation Relations for the Distributed Test Architecture, In: TestCom. LNCS, vol.29, issue.7, pp.200-215, 2008.
DOI : 10.1007/978-3-540-73066-8_12

M. Hennessy, Algebraic Theory of Processes, 1988.

J. Peleska and M. Siegel, From testing theory to test driver implementation, FME, pp.538-556, 1996.
DOI : 10.1007/3-540-60973-3_106

S. Schneider, Concurrent and Real Time Systems: The CSP Approach, 1999.

K. L. Mcmillan, A technique of state space search based on unfolding, Formal Methods in System Design, vol.22, issue.12, pp.45-65, 1995.
DOI : 10.1007/BF01384314

J. Esparza, S. Römer, and W. Vogler, An improvement of McMillan's unfolding algorithm, LNCS, vol.1055, pp.87-106, 1996.
DOI : 10.1007/3-540-61042-1_40

C. Jard, Synthesis of distributed testers from true-concurrency models of reactive systems, Information and Software Technology, vol.45, issue.12, pp.805-814, 2003.
DOI : 10.1016/S0950-5849(03)00061-2
URL : https://hal.archives-ouvertes.fr/inria-00072021

A. Ulrich and H. König, Specification-based testing of concurrent systems, Conf. Proc., Chapman & Hall, pp.7-22, 1998.
DOI : 10.1007/978-0-387-35271-8_1

H. Ponce-de-león, S. Haar, and D. Longuet, Conformance Relations for Labeled Event Structures, LNCS, vol.7305, pp.83-98, 2012.
DOI : 10.1007/978-3-642-30473-6_8

H. Ponce-de-león, S. Haar, and D. Longuet, Unfolding-Based Test Selection for Concurrent Conformance, In: ICTSS. LNCS, vol.8254, pp.98-113, 2013.
DOI : 10.1007/978-3-642-41707-8_7

H. Ponce-de-león, S. Haar, and D. Longuet, Model based testing for concurrent systems with labeled event structures, 2012.

P. Bhateja, P. Gastin, M. Mukund, and K. N. Kumar, Local Testing of Message Sequence Charts Is Difficult, In: FCT. LNCS, vol.4639, pp.76-87, 2007.
DOI : 10.1007/978-3-540-74240-1_8

D. Longuet, Global and local testing from Message Sequence Charts, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1332-1338, 2012.
DOI : 10.1145/2245276.2231987

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

P. Bhateja and M. Mukund, Tagging Make Local Testing of Message-Passing Systems Feasible, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.171-180, 2008.
DOI : 10.1109/SEFM.2008.33

R. M. Hierons, M. G. Merayo, and M. Núñez, Using Time to Add Order to Distributed Testing, In: FM. LNCS, vol.7436, pp.232-246, 2012.
DOI : 10.1007/978-3-642-32759-9_20

F. Mattern, Virtual time and global states of distributed systems, In: Parallel and Distributed Algorithms, pp.215-226, 1989.

C. J. Fidge, Timestamps in Message-Passing Systems that Preserve the Partial Ordering, 11th Australian Computer Science Conference, pp.55-66, 1988.

R. Segala, Quiescence, Fairness, Testing, and the Notion of Implementation, Information and Computation, vol.138, issue.2, pp.194-210, 1997.
DOI : 10.1006/inco.1997.2652

G. Winskel, Petri nets, morphisms and compositionality, pp.453-477, 1985.
DOI : 10.1007/BFb0016226

R. J. Van-glabbeek, U. Goltz, and J. W. Schicke-uffmann, On distributability of Petri nets -(extended abstract), FoSSaCS. LNCS, vol.7213, pp.331-345, 2012.

M. Nielsen, G. D. Plotkin, and G. Winskel, Petri nets, event structures and domains, part I, Theoretical Computer Science, vol.13, issue.1, pp.85-108, 1981.
DOI : 10.1016/0304-3975(81)90112-2
URL : http://doi.org/10.1016/0304-3975(81)90112-2