Tailored Protocol Development Using ESTEREL
Claude Castelluccia, Isabelle Chrisment, Walid Dabbous, Christophe Diot, Christian Huitema, Ellen H. Siegel, Robert de Simone · 1994
Syntax Notation One (ASN 1)", Geneva, July 1987. [Madeleine 89] E. Madelaine and D. Vergamini. Auto}: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks". Proc. FORTE'89 Conference. Vancouver. 1989. [Merlin 76] P. M. Merlin. A Methodology for the Design and Implementation of Communication Protocols. IEEE Transactions on Communications. Vol. COM-24, No. 6. June 1976. [Partridge 92] C. Partridge and S. Pink ; "An Implementation of the Revised Internet Stream Protocol (ST II). Internetworking : Research and Experience ; Vol. 3, pp. 27-54, 1992. [Roy 90] V. Roy and R. de Simone. "Auto and Autograph". Proceedings of CAV ' 90. R. Kurshan Editor. June 1990. [Smith 83] F. D. Smith, C. H. West. Technologies for Network Architecture and Implementation. IBM Journal on R&D. Vol. 27, No. 1. January 1983. [Touati 93] H. Touati and G. Berry. " Optimized Controller Synthesis Using Esterel ". Proceedings of the International Workshop on Logic Synthesis IWLS '9...