R. Milner, Communication and concurrency. PHI Series in computer science, 1989.

T. Hoare, Communicating Sequential Processes, 1985.

E. Brinksma, G. Scollo, and C. Steenbergen, LOTOS specifications, their implementations and their tests In: Conformance testing methodologies and architectures for OSI protocols, pp.468-479, 1995.

D. Nicola, R. Hennessy, and M. , Testing equivalences for processes, Theoretical Computer Science, vol.34, issue.1-2, pp.83-133, 1984.
DOI : 10.1016/0304-3975(84)90113-0

S. Abramsky, Observation equivalence as a testing equivalence, Theoretical Computer Science, vol.53, issue.2-3, pp.225-241, 1987.
DOI : 10.1016/0304-3975(87)90065-X

E. Brinksma, A theory for the derivation of tests, Protocol Specification, Testing and Verification VIII, pp.63-74, 1988.

I. Phillips, Refusal testing, Theoretical Computer Science, vol.50, issue.3, pp.241-284, 1987.
DOI : 10.1016/0304-3975(87)90117-4

R. Langerak, A testing theory for LOTOS using deadlock detection, Protocol Specification, Testing and Verification IX, pp.87-98, 1990.

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

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

D. Nicola and R. , Extensional equivalences for transition systems, Acta Informatica, vol.24, issue.2, pp.211-237, 1987.
DOI : 10.1007/BF00264365

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, Testing of Software and Communicating Systems, 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, Lecture Notes in Computer Science, 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, Testing of Software and Communicating Systems, 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, Formal Methods Europe, pp.538-556, 1996.
DOI : 10.1007/3-540-60973-3_106

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

A. Ulrich and H. König, Specification-based testing of concurrent systems, IFIP Conference Proceedings, vol.107, pp.7-22, 1997.
DOI : 10.1007/978-0-387-35271-8_1

G. Von-bochmann, S. Haar, C. Jard, and G. V. Jourdan, Testing Systems Specified as Partial Order Input/Output Automata, Testing of Software and Communicating Systems, pp.169-183, 2008.
DOI : 10.1109/TCOM.1984.1096134

S. Haar, C. Jard, and G. V. Jourdan, Testing Input/Output Partial Order Automata, Testing of Software and Communicating Systems, pp.171-185, 2007.
DOI : 10.1007/978-3-540-73066-8_12

H. Ponce-de-león, S. Haar, and D. Longuet, Conformance Relations for Labeled Event Structures, Lecture Notes in Computer Science, 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, International Conference on Testing Software and Systems, 2013.
DOI : 10.1007/978-3-642-41707-8_7

D. Kuske and R. Morin, Pomsets for Local Trace Languages, Journal of Automata, Languages and Combinatorics, vol.7, issue.2, pp.187-224, 2002.
DOI : 10.1007/3-540-44618-4_31

A. Mokhov and A. Yakovlev, Conditional Partial Order Graphs: Model, Synthesis, and Application, IEEE Transactions on Computers, vol.59, issue.11, pp.1480-1493, 2010.
DOI : 10.1109/TC.2010.58

M. Arapinis, T. Chothia, E. Ritter, and M. Ryan, Analysing Unlinkability and Anonymity Using the Applied Pi Calculus, 2010 23rd IEEE Computer Security Foundations Symposium, pp.107-121, 2010.
DOI : 10.1109/CSF.2010.15

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

R. Langerak and E. Brinksma, A Complete Finite Prefix for Process Algebra, Computer Aided Verification, pp.184-195, 1999.
DOI : 10.1007/3-540-48683-6_18

G. Winskel, Event structures, Lecture Notes in Computer Science, vol.255, pp.325-392, 1986.
DOI : 10.1007/3-540-17906-2_31
URL : https://hal.archives-ouvertes.fr/hal-00148921

L. Aceto, R. De-nicola, and A. Fantechi, Testing equivalences for event structures, Lecture Notes in Computer Science, vol.280, pp.1-20, 1986.
DOI : 10.1007/3-540-18419-8_9

S. Genc and S. Lafortune, Distributed Diagnosis of Discrete-Event Systems Using Petri Nets, International Conference on Applications and Theory of Petri Nets, pp.316-336, 2003.
DOI : 10.1007/3-540-44919-1_21

C. Jard and T. Jéron, TGV: theory, principles and algorithms, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.297-315, 2005.
DOI : 10.1007/s10009-004-0153-x

Y. Xu and K. S. Stevens, Automatic synthesis of computation interference constraints for relative timing verification, 2009 IEEE International Conference on Computer Design, pp.16-22, 2009.
DOI : 10.1109/ICCD.2009.5413183

A. W. Heerink, Ins and Outs in Refusal Testing, 1998.

C. Jard, T. Jéron, L. Tanguy, and C. Viho, Remote testing can be as powerful as local testing, Conference Proceedings., Kluwer, pp.25-40, 1999.
DOI : 10.1007/978-0-387-35578-8_2

J. Tretmans, Model Based Testing with Labelled Transition Systems, Lecture Notes in Computer Science, vol.4949, pp.1-38, 2008.
DOI : 10.1007/978-3-540-78917-8_1

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

V. Diekert and G. Rozenberg, The Book of Traces, 1995.
DOI : 10.1142/2563

G. Rozenberg and A. Salomaa, Handbook of formal languages, 1997.

R. M. Hierons, M. G. Merayo, and M. Núñez, Implementation relations and test generation for systems with distributed interfaces, Distributed Computing, vol.21, issue.13, pp.35-62, 2012.
DOI : 10.1007/s00446-011-0149-1

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