The SCEAS System
Navigation Menu

Search the dblp DataBase


B. Algayres: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Guy Juanole, B. Algayres, J. Dufau
    On communication protocol modelling and design. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1984, pp:267-287 [Conf]
  2. Jean Christophe Lloret, J. L. Roux, B. Algayres, M. Chamontin
    Modelling and Evaluation of a Satellite System Using EVAL*, a Petri Net Based Industrial Tool. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:379-383 [Conf]
  3. Guy Juanole, B. Algayres
    Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase. [Citation Graph (0, 0)][DBLP]
    Protocol Specification, Testing, and Verification, 1983, pp:273-282 [Conf]
  4. Jean-Pierre Courtiat, Jean-Michel Ayache, B. Algayres
    Petri nets are good for protocols. [Citation Graph (0, 0)][DBLP]
    Computer Communication Review, 1984, v:14, n:2, pp:66-74 [Journal]
  5. B. Algayres, V. Coelho, L. Doldi, Hubert Garavel, Y. Lejeune, C. Rodríguez
    VESAR: A Pragmatic Approach to Formal Specification and Verification. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1993, v:25, n:7, pp:779-790 [Journal]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002