Process synchronization: design and performance evaluation of distributed algorithms, IEEE Transactions on Software Engineering, vol.15, issue.9, pp.1053-1065, 1989. ,
DOI : 10.1109/32.31364
From high-level component-based models to distributed implementations, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, pp.209-218, 2010. ,
DOI : 10.1145/1879021.1879049
URL : https://hal.archives-ouvertes.fr/hal-00557792
Safety for branching time semantics, Proc. of 18th ICALP, 1991. ,
DOI : 10.1007/3-540-54233-7_126
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.1049
A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1984. ,
DOI : 10.1145/828.833
Parallel Program Design, 1988. ,
DOI : 10.1007/978-1-4613-9668-0_6
Ten Years of Performance Evaluation for Concurrent Systems Using CADP, Proc. of ISoLA, 2010. ,
DOI : 10.1007/978-3-642-16561-0_18
URL : https://hal.archives-ouvertes.fr/inria-00532914
The Structure of the, Multiprogramming System. Comm. of the ACM, 1968. ,
URL : https://hal.archives-ouvertes.fr/in2p3-00005344
An Open Software Architecture for Verification, Simulation, and Testing, Proc. of TACAS, 1998. ,
URL : https://hal.archives-ouvertes.fr/inria-00073337
SVL: A Scripting Language for Compositional Verification, Proc. of FORTE, Kluwer, 2001. ,
DOI : 10.1007/0-306-47003-9_24
URL : https://hal.archives-ouvertes.fr/inria-00072396
CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013. ,
DOI : 10.1007/s10009-012-0244-z
URL : https://hal.archives-ouvertes.fr/hal-00715056
A Graphical Parallel Composition Operator for Process Algebras, Proc. of FORTE/PSTV, Kluwer, 1999. ,
DOI : 10.1007/978-0-387-35578-8_11
System Design of a CC-NUMA Multiprocessor Architecture using Formal Specification, Model-Checking, Co-Simulation, and Test Generation, STTT, vol.3, issue.3, pp.314-331, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00072597
Avoiding deadlock in multitasking systems, IBM Systems Journal, vol.7, issue.2, pp.74-84, 1968. ,
DOI : 10.1147/sj.72.0074
Communicating Sequential Processes, 1985. ,
LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Standard International Organization for Standardization, vol.8807, 1989. ,
Enhancements to LOTOS (E-LOTOS) International Standard 15437, International Organization for Standardization, 2001. ,
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods, Proc. of IFM, 2005. ,
DOI : 10.1007/11589976_6
URL : https://hal.archives-ouvertes.fr/inria-00070339
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems, 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design, 2008. ,
DOI : 10.1109/MEMCOD.2008.4547690
URL : https://hal.archives-ouvertes.fr/inria-00357770
A Model Checking Language for Concurrent Value-Passing Systems, Proc. of FM, 2008. ,
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312
Communication and Concurrency, 1989. ,
Concurrency and automata on infinite sequences, Theoretical Computer Science LNCS, vol.104, 1981. ,
DOI : 10.1007/BFb0017309
Designing a multiway synchronization protocol, Computer Communications, vol.19, issue.14, pp.1151-1160, 1996. ,
DOI : 10.1016/S0140-3664(96)01149-8
Multiway synchronization verified with coupled simulation, pp.518-533, 1992. ,
DOI : 10.1007/BFb0084813
An order-based algorithm for implementing multiparty synchronization. Concurrency and Computation: Practice and Experience, pp.1173-1206, 2004. ,
A protocol for multirendezvous of LOTOS processes, IEEE Transactions on Computers, vol.40, issue.4, pp.437-447, 1991. ,
DOI : 10.1109/12.88463
From LOTOS Specifications to Distributed Implementations, 1991. ,
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format, Proc. of IFM, 2009. ,
DOI : 10.1007/s100090050009
Branching time and abstraction in bisimulation semantics, Proc. of IFIP, 1989. ,
DOI : 10.1145/233551.233556