Search the dblp DataBase
B. Algayres: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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] - 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] - 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] - 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] - 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.001secs, Finished in 0.001secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002