On the consistency of Koomen's Fair Abstraction Rule, Theoretical Computer Science, vol.51, issue.1-2, pp.129-176, 1987. ,
DOI : 10.1016/0304-3975(87)90052-1
LOTOS Specifications, their Implementations and their Tests, Proc. Protocol Specification, Testing and Verification VI, pp.349-360, 1986. ,
Testing equivalence as a bisimulation equivalence, Formal Aspects of Computing, vol.85, issue.n. 2, pp.1-20, 1993. ,
DOI : 10.1007/BF01211314
Calculabilité et expressivité dans l'algèbre de processus parallèles MEIJE, 1984. ,
Fundamentals of Algebraic Specification 1 (Equations and Initial Semantics, ETACS Monographs on Theorical Computer Science, vol.6, 1985. ,
Algebraic Theory of Processes. Series in the Foundations of Computing, 1988. ,
Communicating Sequential Processes, 1985. ,
Incremental specifications in LOTOS, Proc. Protocol Specification, Testing and Verification X, pp.183-196, 1990. ,
Incremental Construction Approach for Distributed System Specifications Département d'informatique et de recherche opérationnelle, université de Montréal, Faculté des arts et des sciences, C.P, vol.6128, 1993. ,
Literate programming, The Computer Journal, vol.27, issue.2, pp.97-111, 1984. ,
Modélisation du développement de spécifications LOTOS, 1997. ,
Modelling specification construction by successive approximations, 6th International AMAST conference, pp.351-364, 1997. ,
DOI : 10.1007/BFb0000482
The Temporal Logic of Reactive and Concurrent Systems Specification, 1992. ,
Proplane: A specification development environment, 5th International Conference on Algebraic Methodology and Software Methodology Amast'96, 1996. ,
DOI : 10.1007/BFb0014355
La description du développement de spécifications, Technique et Science Informatiques, vol.14, issue.9, 1995. ,
Expressiveness Results for Process Algebra, Semantics: Foundations and Applications. Proceedings of the REX Workshop, 1993. ,
Specification styles in distributed systems design and verification, Theoretical Computer Science, vol.89, issue.1, 1990. ,
DOI : 10.1016/0304-3975(90)90111-T
-mail: lambolai@loria.fr ,