Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Claude Girault
2000 – 2009
- 2003
[b1]Claude Girault, Rüdiger Valk: Petri nets for systems engineering - a guide to modeling, verification, and applications. Springer 2003, ISBN 978-3-540-41217-5, pp. I-XVI, 1-607
1990 – 1999
- 1998
- [c11]Kathi Fisler, Claude Girault: Modelling and Model Checking a Distributed Shared Memory Consistency Protocol. ICATPN 1998: 84-103
- 1996
- [j1]Rajeev 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)
- [c10]Mohamed-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
- 1994
- [e2]Claude Girault (Ed.): 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. IFIP Transactions A-44, North-Holland 1994, ISBN 0-444-81870-7
1980 – 1989
- 1986
- [c9]Claude 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
- [c8]Serge 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
- [c7]P. Estraillier, Claude Girault, Jean Michel Ilié: Satellite Protocol Modeling by Synchronous Predicate Transition Nets. PNPM 1985: 280-287
- 1984
- [c6]J. 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
- [c5]P. Estraillier, Claude Girault: Petri Nets Specification of Virtual Ring Protocols. European Workshop on Applications and Theory of Petri Nets 1982: 74-85
- [c4]P. Estraillier, Claude Girault: Petri Net Specification of a New Protocol for Controlling a Distributed System Organization. ICDCS 1982: 654-659
- [e1]Claude Girault, Wolfgang Reisig (Eds.): 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. Informatik-Fachberichte 52, Springer 1982, ISBN 3-540-11189-1
- 1981
- [c3]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
- [c2]Jean-Loup Baer, Georges Gardarin, Claude Girault, Gérard Roucairol: The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology. ICSE 1981: 363-373
1970 – 1979
- 1975
- [c1]Charles 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-09-10 16:05 CEST by the dblp team