An extensible system for abstract machines. - C. Daquin; Claude Girault; Brigitte de la Passardière; B. Quement (ACM SIGPLAN Notices, 1973)

Transferability of high level languages. - M. Dupras; M. Gauthier; Claude Girault (ACM SIGPLAN Notices, 1973)

Survey of French Research and Applications Based on Petri Nets. - Charles André; M. Diaz; Claude Girault; Joseph Sifakis (Advanced Course: Net Theory and Applications, 1979)

Petri Net Modelling and Reliability of Distributed Algorithms. - Gérard Berthelot; Claude Girault; Gérard Roucairol (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology. - Jean-Loup Baer; Georges Gardarin; Claude Girault; Gérard Roucairol (ICSE, 1981)

Petri Nets Specification of Virtual Ring Protocols. - Pascal Estraillier; Claude Girault (European Workshop on Applications and Theory of Petri Nets, 1982)

Petri Net Specification of a New Protocol for Controlling a Distributed System Organization. - Pascal Estraillier; Claude Girault (ICDCS, 1982)

Modelling scheduling problems with timed Petri nets. - J. Carlier; Philippe Chrétienne; Claude Girault (European Workshop on Applications and Theory in Petri Nets, 1984)

Satellite Protocol Modeling by Synchronous Predicate Transition Nets. - Pascal Estraillier; Claude Girault; Jean-Michel Ilié (PNPM, 1985)

Specification and properties of a cache coherence protocol model. - Claude Girault; C. Chatelain; Serge Haddad (European Workshop on Applications and Theory of Petri Nets, 1986)

Algebraic structure of flows of a regular coloured net. - Serge Haddad; Claude Girault (European Workshop on Applications and Theory of Petri Nets, 1986)

Performance analysis of a pipelined backpropagation parallel algorithm. - Alain Pétrowski; Gérard Dreyfus; Claude Girault (IEEE Trans. Neural Networks, 1993)

Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets. - Mohamed-Lyes Benalycherif; Claude Girault (Application and Theory of Petri Nets, 1996)

A Formalism to Model Task Execution in Distributed Systems. - Rajeev Jayaram; Rajib Mall; Lalit M. Patnaik; Claude Girault (Inf. Sci., 1996)

Modelling and Model Checking a Distributed Shared Memory Consistency Protocol. - Kathi Fisler; Claude Girault (ICATPN, 1998)

A Simulation Environment for SDH Synchronization Network Planning. - Jean-Thierry Calvet; Claude Girault (DRCN, 2001)

Petri nets for systems engineering - a guide to modeling, verification, and applications. - Claude Girault; Rüdiger Valk (Springer, 2003)