A Multiformalism Approach to Formalize Complex Distributed Systems. - Haféda Bachatène; Pascal Estraillier (IFIP Congress (1), 1992)

Specification of Compositional Active Objects Using Modular Colored Nets. - Haféda Bachatène; Jean-Michel Couvreur; Pascal Estraillier (Applications in Parallel and Distributed Computing, 1994)