Gérard Roucairol

According to our database, Gérard Roucairol authored at least 18 papers between 1974 and 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1992

Business Opportunities in Hypermedia Applications (Panel).

Attilio Stajano, Bruno Cerboni, G. Degli Antoni, Hans Mulder, Gérard Roucairol, Erich J. Neuhold, Eddy Odijk, Pier Carlo Ravasio, Jan Ritchie, Jack Schiff

Proceedings of the ECHT '92: European Conference on Hypertext Technology, November 30, 1992

1986

A Fully Distributed (Minimal) Spanning Tree Algorithm.

Ivan Lavallée, Gérard Roucairol

Inf. Process. Lett., 1986

FIFO-Nets.

Gérard Roucairol

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1985

Maximal Serializability of Iterated Transactions.

Marie-Paule Flé, Gérard Roucairol

Theor. Comput. Sci., 1985

Petri Nets and Algebraic Calculi of Processes.

Gérard Boudol, Gérard Roucairol, Robert de Simone

Proceedings of the STACS 85, 1985

A language theoretic approach to serialization problem in concurrent systems.

Marie-Paule Flé, Gérard Roucairol

Proceedings of the Fundamentals of Computation Theory, 1985

1984

Multiserialization of Iterated Transactions.

Marie-Paule Flé, Gérard Roucairol

Inf. Process. Lett., 1984

Fair serializability of iterated transactions using FIFO-nets.

Marie-Paule Flé, Gérard Roucairol

Proceedings of the Advances in Petri Nets 1984, 1984

1982

On some syntactic equivalence of program schemas and related transformations.

Marie-Paule Flé, Gérard Roucairol

Proceedings of the International Symposium on Programming, 1982

On Serializability of Iterated Transactions.

Marie-Paule Flé, Gérard Roucairol

Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

On the Distribution of an Assertion.

Osvaldo Carvalho, Gérard Roucairol

Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

1981

The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology.

Jean-Loup Baer, Georges Gardarin, Claude Girault, Gérard Roucairol

Proceedings of the 5th International Conference on Software Engineering, 1981

Overview on Topic 1: Application of Nets to Real-Time Systems.

Gérard Roucairol

Proceedings of the Application and Theory of Petri Nets, 1981

Petri Net Modelling and Reliability of Distributed Algorithms.

Gérard Berthelot, Claude Girault, Gérard Roucairol

Proceedings of the Application and Theory of Petri Nets, 1981

1979

Linear Algebra in Net Theory.

Gérard Memmi, Gérard Roucairol

Proceedings of the Net Theory and Applications, 1979

Reductions of Nets and Parallel Prgrams.

Gérard Berthelot, Gérard Roucairol, Rüdiger Valk

Proceedings of the Net Theory and Applications, 1979

1976

Reduction of Petri-Nets.

Gérard Berthelot, Gérard Roucairol

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1974

Transformation de programmes séquentiels en programmes parallèles.

Gérard Roucairol

Proceedings of the Programming Symposium, 1974