Haféda Bachatène

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index