Claude Girault
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1975–1982
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1982 | ICDCS | Petri Net Specification of a New Protocol for Controlling a Distributed System Organization. | Pascal Estraillier, Claude Girault |
| 1981 | ICSE | The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology. | Jean-Loup Baer, Georges Gardarin, Claude Girault, Grard Roucairol |
| 1975 | GI | The Construction of Types of Abstract Machines in SIMAC. | C. Daquin, Claude Girault |