Gwen Salaün, Michel Allemand, Christian Attiogbé
We introduce in [10] the formal foundations to make a generic combination of one process algebra and one algebraic specification language possible. Furthermore, to strengthen the contribution of this...
Michel Allemand, Christian Attiogb, Pascal Poizat, Jean-claude Royer, Gwen Salan
y y IRIN, Universit de Nantes
Specification of an Access Control System with a Formalism Combining CCS and CASL (2002)
Gwen Salaün, Michel Allemand, Christian Attiogbé
Multi-formalism specifications are essential for the modelling of complex systems including different aspects such as data or concurrency. We advocate a formalism which combines the CCS process...
A Practical Combination of a Process Algebra with an Algebraic Specification Language (2001)
Michel Allemand, Nantes Cedex, Nantes Cedex
Abstract In our approach, we suggest a formal framework as a basis for a generic combination of formal languages. It makes it possible the developer to specify the dynamic part of a system with a...
A Synchronous Approach for Hardware Design (1997)
Michel Allemand, Francois Bodin, Apostolos Kountouris, Fran Cois Bodin, Paul Le Guernic, Andre Seznec, ...
: In this report we present a methodology for designing complex hardware systems. This methodology is based on the synchronous data flow language Signal which offers a formal framework to build...
Thesis (doctoral)--Université Claude-Bernard-Lyon, 1971.