| 1993 |
|---|
| 5 | | B. Algayres,
V. Coelho,
L. Doldi,
Hubert Garavel,
Y. Lejeune,
C. Rodríguez:
VESAR: A Pragmatic Approach to Formal Specification and Verification.
Computer Networks and ISDN Systems 25(7): 779-790 (1993) |
| 1992 |
|---|
| 4 | | 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.
Application and Theory of Petri Nets 1992: 379-383 |
| 1984 |
|---|
| 3 | | Guy Juanole,
B. Algayres,
J. Dufau:
On communication protocol modelling and design.
European Workshop on Applications and Theory in Petri Nets 1984: 267-287 |
| 2 | EE | Jean-Pierre Courtiat,
Jean-Michel Ayache,
B. Algayres:
Petri nets are good for protocols.
Computer Communication Review 14(2): 66-74 (1984) |
| 1983 |
|---|
| 1 | | Guy Juanole,
B. Algayres:
Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase.
Protocol Specification, Testing, and Verification 1983: 273-282 |
