Grard Roucairol
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1976–1985
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1985 | FCT | A language theoretic approach to serialization problem in concurrent systems. | Marie-Paule Fl, Grard Roucairol |
| 1985 | STACS | Petri Nets and Algebraic Calculi of Processes. | Grard Boudol, Grard Roucairol, Robert de Simone |
| 1982 | PODC | On the Distribution of an Assertion. | Osvaldo Carvalho, Grard Roucairol |
| 1982 | PODC | On Serializability of Iterated Transactions. | Marie-Paule Fl, Grard Roucairol |
| 1981 | ICSE | The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology. | Jean-Loup Baer, Georges Gardarin, Claude Girault, Grard Roucairol |
| 1976 | MFCS | Reduction of Petri-Nets. | Grard Berthelot, Grard Roucairol |