| |
| 1994 | ||
|---|---|---|
| 2 | Haféda Bachatène, Jean-Michel Couvreur, Pascal Estraillier: Specification of Compositional Active Objects Using Modular Colored Nets. Applications in Parallel and Distributed Computing 1994: 205-214 | |
| 1992 | ||
| 1 | Haféda Bachatène, Pascal Estraillier: A Multiformalism Approach to Formalize Complex Distributed Systems. IFIP Congress (1) 1992: 120-126 | |
| 1 | Jean-Michel Couvreur | [2] |
| 2 | Pascal Estraillier | [1] [2] |