1. Arnold, A.: Synchronized behaviours of processes and rational relations. Acta Inf. 17, 21–29 (1982)
2. Attali, I., Barros, T., Madelaine, E.: Parameterized specification and verification of the Chilean electronic invoices system. In: Proceedings of the 24th International Conference of the Chilean Computer Science Society (SCCC 2004), Arica, Chili, pp. 14–25. Society for Computer Simulation International, IEEE, November 2004
3. Bainbridge, S., Mounier, L.: Specification and verification of a reliable multicast protocol. Technical report HPL-91-163, Hewlett-Packard Laboratories, Bristol, UK, October 1991
4. Lecture Notes in Computer Science;T Barros,2005
5. Barros, T., Henrio, L., Madelaine, E.: Verification of distributed hierarchical components. In: Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005), Macao. Electronic Notes in Theoretical Computer Science, October 2005