P. A. Abdulla, Y. Chen, L. Holík, R. Mayr, and T. Vojnar, When simulation meets antichains, TACAS 2010, vol.6015, pp.158-174, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00460294

J. A. Bergstra, J. W. Klop, and E. Olderog, Failures without chaos: a new process semantics for fair abstraction, pp.77-104, 1986.

R. Van-beusekom, J. F. Groote, P. F. Hoogendijk, R. Howe, W. Wesselink et al., Formalising the Dezyne modelling language in mCRL2, FMICS-AVoCS 2017, vol.10471, pp.217-233

. Springer, , 2017.

S. D. Brookes and A. W. Roscoe, An improved failures model for communicating processes, Seminar on Concurrency 1984, vol.197, pp.281-305, 1984.

O. Bunte, J. F. Groote, J. J. Keiren, M. Laveaux, T. Neele et al., The mCRL2 toolset for analysing concurrent systemsimprovements in expressivity and usability, LNCS, vol.11428, issue.2, pp.21-39, 2019.

T. Gibson-robinson, P. J. Armstrong, A. Boulgakov, and A. W. Roscoe, FDR3 -A modern refinement checker for CSP, TACAS 2014, vol.8413, pp.187-201, 2014.

R. J. Van-glabbeek, B. Luttik, and N. Trcka, Branching bisimilarity with explicit divergence, Fundam. Inform, vol.93, issue.4, pp.371-392, 2009.

R. J. Van-glabbeek, , vol.7, 2019.

R. J. Van-glabbeek, T. Gibson-robinson, and P. J. Hopcroft, A branching time model of CSP, Concurrency, Security, and Puzzles -Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, vol.10160, pp.272-293, 2017.

A. O. Gomes and A. Butterfield, Modelling the haemodialysis machine with circus, ABZ 2016, vol.9675, pp.409-424

. Springer, , 2016.

M. Herlihy and N. Shavit, The art of multiprocessor programming, 2008.

C. Hoare, Communicating Sequential Processes, 1985.

P. C. Kanellakis and S. A. Smolka, CCS expressions, finite state processes, and three problems of equivalence, Inf. Comput, vol.86, issue.1, pp.43-68, 1990.

M. Laveaux, J. F. Groote, and T. A. Willemse, Correct and efficient antichain algorithms for refinement checking, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02313731

M. Laveaux, Downloadable sources and benchmarks for the experimental validation, 2019.

R. Paval, Modeling and Verifying Concurrent Data Structures, 2018.

A. W. Roscoe, A Classical Mind: essays in Honour of C.A.R. Hoare, chap. 21, pp.353-378, 1994.

A. W. Roscoe, Understanding Concurrent Systems, Texts in Computer Science, 2010.

C. Shann, T. Huang, and C. Chen, A practical nonblocking queue algorithm using compare-and-swap, ICPADS 2000, pp.470-475, 2000.


R. K. Treiber, Systems programming: Coping with parallelism. International Business Machines Incorporated, 1986.

T. Wang, S. Song, J. Sun, Y. Liu, J. S. Dong et al., More anti-chain based refinement checking, ICFEM. LNCS, vol.7635, pp.364-380, 2012.