dblp.uni-trier.dewww.uni-trier.de

Gérard Roucairol

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1992
20EEAttilio 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). ECHT 1992: 285
1986
19 Gérard Roucairol: FIFO-Nets. Advances in Petri Nets 1986: 436-459
18 Ivan Lavallée, Gérard Roucairol: A Fully Distributed (Minimal) Spanning Tree Algorithm. Inf. Process. Lett. 23(2): 55-62 (1986)
1985
17 Grzegorz Rozenberg, Hartmann J. Genrich, Gérard Roucairol: Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers Springer 1985
16 Gérard Boudol, Gérard Roucairol, Robert de Simone: Petri nets and algebraic calculi of processes. Applications and Theory in Petri Nets 1985: 41-58
15 Marie-Paule Flé, Gérard Roucairol: A language theoretic approach to serialization problem in concurrent systems. FCT 1985: 128-145
14 Gérard Boudol, Gérard Roucairol, Robert de Simone: Petri Nets and Algebraic Calculi of Processes. STACS 1985: 59-70
13 Marie-Paule Flé, Gérard Roucairol: Maximal Serializability of Iterated Transactions. Theor. Comput. Sci. 38: 1-16 (1985)
1984
12 Marie-Paule Flé, Gérard Roucairol: Fair serializability of iterated transactions using FIFO-nets. European Workshop on Applications and Theory in Petri Nets 1984: 154-168
11 Marie-Paule Flé, Gérard Roucairol: Multiserialization of Iterated Transactions. Inf. Process. Lett. 18(5): 243-247 (1984)
1982
10 Osvaldo Carvalho, Gérard Roucairol: On the Distribution of an Assertion. PODC 1982: 121-131
9 Marie-Paule Flé, Gérard Roucairol: On Serializability of Iterated Transactions. PODC 1982: 194-200
8 Marie-Paule Flé, Gérard Roucairol: On some syntactic equivalence of program schemas and related transformations. Symposium on Programming 1982: 116-131
1981
7 Jean-Loup Baer, Georges Gardarin, Claude Girault, Gérard Roucairol: The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology. ICSE 1981: 363-373
6 Gérard Roucairol: Overview. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 1-2
5 Gérard Berthelot, Claude Girault, Gérard Roucairol: Petri Net Modelling and Reliability of Distributed Algorithms. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 3-10
1976
4 Gérard Berthelot, Gérard Roucairol: Reduction of Petri-Nets. MFCS 1976: 202-209
1975
3 Gérard Memmi, Gérard Roucairol: Linear Algebra in Net Theory. Advanced Course: Net Theory and Applications 1975: 213-223
2 Gérard Berthelot, Gérard Roucairol, Rüdiger Valk: Reductions of Nets and Parallel Prgrams. Advanced Course: Net Theory and Applications 1975: 277-290
1974
1 Gérard Roucairol: Transformation de programmes séquentiels en programmes parallèles. Symposium on Programming 1974: 327-349

Coauthor Index

1G. Degli Antoni [20]
2Jean-Loup Baer [7]
3Gérard Berthelot [2] [4] [5]
4Gérard Boudol [14] [16]
5Osvaldo Carvalho [10]
6Bruno Cerboni [20]
7Marie-Paule Flé [8] [9] [11] [12] [13] [15]
8Georges Gardarin [7]
9Hartmann J. Genrich [17]
10Claude Girault [5] [7]
11Ivan Lavallée [18]
12Gérard Memmi [3]
13Hans Mulder [20]
14Erich J. Neuhold [20]
15Eddy Odijk [20]
16Pier Carlo Ravasio [20]
17Jan Ritchie [20]
18Grzegorz Rozenberg [17]
19Jack Schiff [20]
20Robert de Simone [14] [16]
21Attilio Stajano [20]
22Rüdiger Valk [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)