The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Claude Girault: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002