The SCEAS System
| |||||||

## Search the dblp DataBase
Claude Girault:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Charles André, M. Diaz, Claude Girault, Joseph Sifakis
**Survey of French Research and Applications Based on Petri Nets.**[Citation Graph (0, 0)][DBLP] Advanced Course: Net Theory and Applications, 1975, pp:321-345 [Conf] - J. Carlier, Philippe Chrétienne, Claude Girault
**Modelling scheduling problems with timed Petri nets.**[Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory in Petri Nets, 1984, pp:62-82 [Conf] - Gérard Berthelot, Claude Girault, Gérard Roucairol
**Petri Net Modelling and Reliability of Distributed Algorithms.**[Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:3-10 [Conf] - Mohamed-Lyes Benalycherif, Claude Girault
**Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets.**[Citation Graph (0, 0)][DBLP] Application and Theory of Petri Nets, 1996, pp:73-92 [Conf] - P. Estraillier, Claude Girault
**Petri Nets Specification of Virtual Ring Protocols.**[Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory of Petri Nets, 1982, pp:74-85 [Conf] - Kathi Fisler, Claude Girault
**Modelling and Model Checking a Distributed Shared Memory Consistency Protocol.**[Citation Graph (0, 0)][DBLP] ICATPN, 1998, pp:84-103 [Conf] - Claude Girault, C. Chatelain, Serge Haddad
**Specification and properties of a cache coherence protocol model.**[Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory of Petri Nets, 1986, pp:1-20 [Conf] - Serge Haddad, Claude Girault
**Algebraic structure of flows of a regular coloured net.**[Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory of Petri Nets, 1986, pp:73-88 [Conf] - P. Estraillier, Claude Girault
**Petri Net Specification of a New Protocol for Controlling a Distributed System Organization.**[Citation Graph (0, 0)][DBLP] ICDCS, 1982, pp:654-659 [Conf] - Jean-Loup Baer, Georges Gardarin, Claude Girault, Gérard Roucairol
**The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology.**[Citation Graph (0, 0)][DBLP] ICSE, 1981, pp:363-373 [Conf] - P. Estraillier, Claude Girault, Jean Michel Ilié
**Satellite Protocol Modeling by Synchronous Predicate Transition Nets.**[Citation Graph (0, 0)][DBLP] PNPM, 1985, pp:280-287 [Conf] - Rajeev Jayaram, Rajib Mall, Lalit M. Patnaik, Claude Girault
**A Formalism to Model Task Execution in Distributed Systems.**[Citation Graph (0, 0)][DBLP] Inf. Sci., 1996, v:88, n:1-4, pp:113-129 [Journal]
Search in 0.021secs, Finished in 0.022secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |