Haféda Bachatène

Publication Activity (10 Years)

Years Active: 1992-1994
Publications (10 Years): 0

Publications

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)
Haféda Bachatène, Pascal Estraillier
A Multiformalism Approach to Formalize Complex Distributed Systems. IFIP Congress (1) (1992)