| 1992 |
20 | | 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).
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 |