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
URL : http://doi.org/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

A. Heerink and G. Tretmans, Refusal testing for classes of transition systems with inputs and outputs, Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, 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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.7098

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

A. Ulrich and H. König, Specification-based testing of concurrent systems, IFIP Conference Proceedings, vol.107, pp.7-22, 1998.
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, Tests and Proofs, pp.83-98, 2012.
DOI : 10.1007/978-3-642-30473-6_8

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, Proceedings of CAV99, 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, 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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.4262

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

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

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

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