Search the dblp DataBase

Publications of Author

1. Osvaldo Carvalho, Gérard Roucairol
   On the Distribution of an Assertion. [Citation Graph (4, 0)][DBLP]
   PODC, 1982, pp:121-131 [Conf]
   
2. Gérard Berthelot, Gérard Roucairol, Rüdiger Valk
   Reductions of Nets and Parallel Prgrams. [Citation Graph (0, 0)][DBLP]
   Advanced Course: Net Theory and Applications, 1975, pp:277-290 [Conf]
   
3. Gérard Memmi, Gérard Roucairol
   Linear Algebra in Net Theory. [Citation Graph (0, 0)][DBLP]
   Advanced Course: Net Theory and Applications, 1975, pp:213-223 [Conf]
   
4. Gérard Roucairol
   FIFO-Nets. [Citation Graph (0, 0)][DBLP]
   Advances in Petri Nets, 1986, pp:436-459 [Conf]
   
5. Gérard Berthelot, Claude Girault, Gérard Roucairol
   Petri Net Modelling and Reliability of Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
   Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:3-10 [Conf]
   
6. Gérard Boudol, Gérard Roucairol, Robert de Simone
   Petri nets and algebraic calculi of processes. [Citation Graph (0, 0)][DBLP]
   Applications and Theory in Petri Nets, 1985, pp:41-58 [Conf]
   
7. Marie-Paule Flé, Gérard Roucairol
   Fair serializability of iterated transactions using FIFO-nets. [Citation Graph (0, 0)][DBLP]
   European Workshop on Applications and Theory in Petri Nets, 1984, pp:154-168 [Conf]
   
8. Gérard Roucairol
   Overview. [Citation Graph (0, 0)][DBLP]
   Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:1-2 [Conf]
   
9. Attilio Stajano, Bruno Cerboni, G. Degli Antoni, Hans Mulder, Gérard Roucairol, Erich J. Neuhold, Eddy Odijk, Pier Carlo Ravasio, Jan Ritchie, Jack Schiff
   Business Opportunities in Hypermedia Applications (Panel). [Citation Graph (0, 0)][DBLP]
   ECHT, 1992, pp:285- [Conf]
   
10. Marie-Paule Flé, Gérard Roucairol
    A language theoretic approach to serialization problem in concurrent systems. [Citation Graph (0, 0)][DBLP]
    FCT, 1985, pp:128-145 [Conf]
    
11. Jean-Loup Baer, Georges Gardarin, Claude Girault, Gérard Roucairol
    The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology. [Citation Graph (0, 0)][DBLP]
    ICSE, 1981, pp:363-373 [Conf]
    
12. Gérard Berthelot, Gérard Roucairol
    Reduction of Petri-Nets. [Citation Graph (0, 0)][DBLP]
    MFCS, 1976, pp:202-209 [Conf]
    
13. Marie-Paule Flé, Gérard Roucairol
    On Serializability of Iterated Transactions. [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:194-200 [Conf]
    
14. Gérard Roucairol
    Transformation de programmes séquentiels en programmes parallèles. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1974, pp:327-349 [Conf]
    
15. Marie-Paule Flé, Gérard Roucairol
    On some syntactic equivalence of program schemas and related transformations. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:116-131 [Conf]
    
16. Gérard Boudol, Gérard Roucairol, Robert de Simone
    Petri Nets and Algebraic Calculi of Processes. [Citation Graph (0, 0)][DBLP]
    STACS, 1985, pp:59-70 [Conf]
    
17. Marie-Paule Flé, Gérard Roucairol
    Multiserialization of Iterated Transactions. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1984, v:18, n:5, pp:243-247 [Journal]
    
18. Ivan Lavallée, Gérard Roucairol
    A Fully Distributed (Minimal) Spanning Tree Algorithm. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1986, v:23, n:2, pp:55-62 [Journal]
    
19. Marie-Paule Flé, Gérard Roucairol
    Maximal Serializability of Iterated Transactions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:38, n:, pp:1-16 [Journal]