1. Nivat's processes and their synchronization;Arnold;Theor. Comput. Sci.,2002
2. T. Barros. Formal specification and verification of distributed component systems. PhD thesis, Université de Nice - INRIA Sophia Antipolis, November 2005
3. Parameterized models for distributed java objects;Barros,2004
4. Behavioural models for hierarchical components;Barros,2005
5. T. Barros, L. Henrio, and E. Madelaine. Verification of distributed hierarchical components. In International Workshop on Formal Aspects of Component Software (FACS'05), Macao, October 2005. Electronic Notes in Theoretical Computer Science (ENTCS)