Roucairol, G.

• Roucairol, G.:
  FIFO-Nets. 1987.

• Fle, M.P.; Roucairol, G.:
  A Language Theoretic Approach to Serialization Problem in Concurrent Systems. 1985.

• Boudol, G.; Roucairol, G.; de Simone, R.:
  Petri Nets and Algebraic Calculi of Processes. 1985.

• Roucairol, G.:
  Research on Petri Nets in France. 1985.

• Lavallee, I.; Roucairol, G.:
  Un Algorithme Totalement Distribue pour Construire un Arbre Couvrant (Minimal). 1985.

• Fle, M.P.; Roucairol, G.:
  Free-Serializability of Iterated Transactions. 1984.

• Carvalho, O.S.F.; Roucairol, G.:
  Assertion Decomposition for Acyclic Networks. 1984.

• Carvalho, O.S.F.; Roucairol, G.:
  On Mutual Exclusion in Computer Network. 1983.

• Fle, M.P.; Roucairol, G.:
  Maximal Serializability of Iterated Transactions. 1983.

• Fle, M.P.; Roucairol, G.:
  Fair Serializability of Iterated Transactions Using FIFO-Nets. 1983.

• Berthelot, G.; Girault, C.; Roucairol, G.:
  Petri Net Modelling and Reliability of Distributed Algorithms. 1982.

• Brams, G.W.; Andre, C.; Berthelot, G.; Girault, C.; Memmi, G.; Roucairol, G.; Sifakis, J.; Valette, R.; Vidal-Naquet, G.:
  Reseaux de Petri: Theorie et Pratique. Tome 1: Theorie et Analyse; Tome 2: Modelisation et Applications. 1982.

• Berthelot, G.; Roucairol, G.; Valk, R.:
  Reduction of Nets and Parallel Programs. 1980.

• Memmi, G.; Roucairol, G.:
  Linear Algebra in Net Theory. 1980.

• Baer, J.L.; Gardarin, G.; Roucairol, G.:
  The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology. 1980.

• Roucairol, G.:
  Equivalences Syntaxiques et Transformations de Programmes Paralleles. 1978.

• Roucairol, G.:
  On Parallelization of ``Single-Assignment'' Programs. 1977.

• Berthelot, Gérard; Roucairol, Gérard:
  Reduction of Petri Nets. 1976.

• Roucairol, G.:
  Une Transformation de Programmes Sequentiels en Programmes Paralleles. 1974.

Back to the Petri Nets Bibliography