Gérard Roucairol

Publication Activity (10 Years)

Years Active: 1974-1992
Publications (10 Years): 0

Publications

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)
Ivan Lavallée, Gérard Roucairol
A Fully Distributed (Minimal) Spanning Tree Algorithm. Inf. Process. Lett. 23 (2) (1986)
Gérard Roucairol
FIFO-Nets. Advances in Petri Nets (1986)
Marie-Paule Flé, Gérard Roucairol
A language theoretic approach to serialization problem in concurrent systems. FCT (1985)
Gérard Boudol, Gérard Roucairol, Robert de Simone
Petri Nets and Algebraic Calculi of Processes. STACS (1985)
Gérard Boudol, Gérard Roucairol, Robert de Simone
Petri nets and algebraic calculi of processes. Applications and Theory in Petri Nets (1985)
Marie-Paule Flé, Gérard Roucairol
Maximal Serializability of Iterated Transactions. Theor. Comput. Sci. 38 (1985)
Marie-Paule Flé, Gérard Roucairol
Multiserialization of Iterated Transactions. Inf. Process. Lett. 18 (5) (1984)
Marie-Paule Flé, Gérard Roucairol
Fair serializability of iterated transactions using FIFO-nets. European Workshop on Applications and Theory in Petri Nets (1984)
Marie-Paule Flé, Gérard Roucairol
On Serializability of Iterated Transactions. PODC (1982)
Marie-Paule Flé, Gérard Roucairol
On some syntactic equivalence of program schemas and related transformations. Symposium on Programming (1982)
Osvaldo Carvalho, Gérard Roucairol
On the Distribution of an Assertion. PODC (1982)
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)
Gérard Roucairol
Overview on Topic 1: Application of Nets to Real-Time Systems. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)
Jean-Loup Baer, Georges Gardarin, Claude Girault, Gérard Roucairol
The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology. ICSE (1981)
Gérard Berthelot, Gérard Roucairol, Rüdiger Valk
Reductions of Nets and Parallel Prgrams. Advanced Course: Net Theory and Applications (1979)
Gérard Memmi, Gérard Roucairol
Linear Algebra in Net Theory. Advanced Course: Net Theory and Applications (1979)
Gérard Berthelot, Gérard Roucairol
Reduction of Petri-Nets. MFCS (1976)
Gérard Roucairol
Transformation de programmes séquentiels en programmes parallèles. Symposium on Programming (1974)