Claude Girault Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1998
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathi Fisler, Claude Girault: Modelling and Model Checking a Distributed Shared Memory Consistency Protocol. ICATPN 1998: 84-103
1996
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed-Lyes Benalycherif, Claude Girault: Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets. Application and Theory of Petri Nets 1996: 73-92
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Jayaram, Rajib Mall, Lalit M. Patnaik, Claude Girault: A Formalism to Model Task Execution in Distributed Systems. Inf. Sci. 88(1-4): 113-129 (1996)
1994
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaude Girault: Applications in Parallel and Distributed Computing, Proceedings of the IFIP WG10.3 Working Conference on Applications in Parallel and Distributed Computing, Caracas, Venezuela, 18-22 April, 1994 North-Holland 1994
1986
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaude Girault, C. Chatelain, Serge Haddad: Specification and properties of a cache coherence protocol model. European Workshop on Applications and Theory of Petri Nets 1986: 1-20
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Haddad, Claude Girault: Algebraic structure of flows of a regular coloured net. European Workshop on Applications and Theory of Petri Nets 1986: 73-88
1985
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. Estraillier, Claude Girault, Jean Michel Ilié: Satellite Protocol Modeling by Synchronous Predicate Transition Nets. PNPM 1985: 280-287
1984
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Carlier, Philippe Chrétienne, Claude Girault: Modelling scheduling problems with timed Petri nets. European Workshop on Applications and Theory in Petri Nets 1984: 62-82
1982
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaude Girault, Wolfgang Reisig: Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Stasbourg 23.-26. September 1980, Bad Honnef 28.-30. September 1981 Springer 1982
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. Estraillier, Claude Girault: Petri Nets Specification of Virtual Ring Protocols. European Workshop on Applications and Theory of Petri Nets 1982: 74-85
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. Estraillier, Claude Girault: Petri Net Specification of a New Protocol for Controlling a Distributed System Organization. ICDCS 1982: 654-659
1981
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Loup Baer, Georges Gardarin, Claude Girault, Gérard Roucairol: The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology. ICSE 1981: 363-373
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGé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
1975
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles André, M. Diaz, Claude Girault, Joseph Sifakis: Survey of French Research and Applications Based on Petri Nets. Advanced Course: Net Theory and Applications 1975: 321-345

Coauthor Index

1Charles André [1]
2Jean-Loup Baer [3]
3Mohamed-Lyes Benalycherif [13]
4Gérard Berthelot [2]
5J. Carlier [7]
6C. Chatelain [10]
7Philippe Chrétienne [7]
8M. Diaz [1]
9P. Estraillier [4] [5] [8]
10Kathi Fisler [14]
11Georges Gardarin [3]
12Serge Haddad [9] [10]
13Jean-Michel Ilié (Jean Michel Ilié) [8]
14Rajeev Jayaram [12]
15Rajib Mall [12]
16Lalit M. Patnaik [12]
17Wolfgang Reisig [6]
18Gérard Roucairol [2] [3]
19Joseph Sifakis [1]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)