Michel Allemand (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Gwen Salaün, Michel Allemand, Christian Attiogbé: A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. COMPSAC 2002: 385-392

6 Gwen Salaün, Michel Allemand, Christian Attiogbé: Specification of an Access Control System with a Formalism Combining CCS and CASL. IPDPS 2002

5 Gwen Salaün, Michel Allemand, Christian Attiogbé: Foundations for a Combination of Heterogeneous Specification Components. Electr. Notes Theor. Comput. Sci. 66(4): (2002)

4 Gwen Salaün, Michel Allemand, Christian Attiogbé: Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. APSEC 2001: 299-

Selection of 4 from 8 records - Michel Allemand has 5 coauthors

8		Gwen Salaün, Michel Allemand, Christian Attiogbé: A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. COMPSAC 2002: 385-392
6		Gwen Salaün, Michel Allemand, Christian Attiogbé: Specification of an Access Control System with a Formalism Combining CCS and CASL. IPDPS 2002
5		Gwen Salaün, Michel Allemand, Christian Attiogbé: Foundations for a Combination of Heterogeneous Specification Components. Electr. Notes Theor. Comput. Sci. 66(4): (2002)
4		Gwen Salaün, Michel Allemand, Christian Attiogbé: Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. APSEC 2001: 299-