Gérard Roucairol

20 papers A* 3A 1B 2Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
1992 — conf
Business Opportunities in Hypermedia Applications (Panel).
ECHT
Attilio Stajano, Bruno Cerboni, G. Degli Antoni, Hans Mulder, Gérard Roucairol, Erich J. Neuhold, Eddy Odijk, Pier Carlo Ravasio, Jan Ritchie, Jack Schiff
1986 J jnl
A Fully Distributed (Minimal) Spanning Tree Algorithm.
Inf. Process. Lett.
Ivan Lavallée, Gérard Roucairol
1986 — conf
FIFO-Nets.
Advances in Petri Nets
Gérard Roucairol
1985 B conf
A language theoretic approach to serialization problem in concurrent systems.
FCT
Marie-Paule Flé, Gérard Roucairol
1985 — ed.
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
European Workshop on Applications and Theory in Petri Nets
Grzegorz Rozenberg, Hartmann J. Genrich, Gérard Roucairol
1985 J jnl
Maximal Serializability of Iterated Transactions.
Theor. Comput. Sci.
Marie-Paule Flé, Gérard Roucairol
1985 A conf
Petri Nets and Algebraic Calculi of Processes.
STACS
Gérard Boudol, Gérard Roucairol, Robert de Simone
1985 — conf
Petri nets and algebraic calculi of processes.
Applications and Theory in Petri Nets
Gérard Boudol, Gérard Roucairol, Robert de Simone
1984 — conf
Fair serializability of iterated transactions using FIFO-nets.
European Workshop on Applications and Theory in Petri Nets
Marie-Paule Flé, Gérard Roucairol
1984 J jnl
Multiserialization of Iterated Transactions.
Inf. Process. Lett.
Marie-Paule Flé, Gérard Roucairol
1982 A* conf
On Serializability of Iterated Transactions.
PODC
Marie-Paule Flé, Gérard Roucairol
1982 — conf
On some syntactic equivalence of program schemas and related transformations.
Symposium on Programming
Marie-Paule Flé, Gérard Roucairol
1982 A* conf
On the Distribution of an Assertion.
PODC
Osvaldo Carvalho, Gérard Roucairol
1981 — conf
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
Gérard Roucairol
1981 — conf
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
Gérard Berthelot, Claude Girault, Gérard Roucairol
1981 A* conf
The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology.
ICSE
Jean-Loup Baer, Georges Gardarin, Claude Girault, Gérard Roucairol
1979 — conf
Linear Algebra in Net Theory.
Advanced Course: Net Theory and Applications
Gérard Memmi, Gérard Roucairol
1979 — conf
Reductions of Nets and Parallel Prgrams.
Advanced Course: Net Theory and Applications
Gérard Berthelot, Gérard Roucairol, Rüdiger Valk
1976 B conf
Reduction of Petri-Nets.
MFCS
Gérard Berthelot, Gérard Roucairol
1974 — conf
Transformation de programmes séquentiels en programmes parallèles.
Symposium on Programming
Gérard Roucairol