Haféda Bachatène

According to our database, Haféda Bachatène authored at least 2 papers between 1992 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

Specification of Compositional Active Objects Using Modular Colored Nets.

Haféda Bachatène, Jean-Michel Couvreur, Pascal Estraillier

Proceedings of the Applications in Parallel and Distributed Computing, 1994

1992

A Multiformalism Approach to Formalize Complex Distributed Systems.

Haféda Bachatène, Pascal Estraillier

Proceedings of the Algorithms, Software, Architecture, 1992