The PET and DINGO tools for deriving distributed implementations from Estelle

Free Software Inc., 1988, The Bison Parser Generator, Technical Report Goldberg, 1983 ISO IS 8437, 1987 ISO IS 9074, 1988 ISO IS 9542, 1988, Information Technology—End System to Intermediate System, Intra-domain routeing exchange protocol for use in conjunction with the protocol for providing the Connection-mode Network Service ISO DIS 9646, 1990 ISO DIS 10026, 1991 ISO IS 10589, 1991, Information Technology-Intermediate system to Intermediate System, Intra-domain routeing exchange protocol for use in conjunction with the protocol for providing the Connection-mode Network Service Johnson, 1975, YACC—yet another compiler-compiler, 32 Lesk, 1975, Lex—a lexical analyzer generator, 39 Richard, 1989, A generatir of C-code for Estelle, 397 Sijelmassi, 1989, User guide for Wise—a simulation environment for Estelle, Technical Report NCSL/SNA 89/6, National Institute of Standards and Technology (NIST), Gaithersburg, MD, USA Sijelmassi, 1989, An object-oriented model for Estelle and its smalltalk implementation, Technical Report NCSL/SNA 89/7, National Institute of Standards and Technology (NIST), Gaithersburg, MD 20899, USA Sijelmassi, 1989, An object-oriented model for Estelle, 91 Sijelmassi, 1991, The portable Estelle translator: an overview and user guide, Technical Report NCSL/SNA 91/2, National Institute of Standards and Technology (NIST), Gaithersburg, MD 20899, USA Sijelmassi, 1991, The distributed implementation generator: an overview and user guide, Technical Report NCSL/SNA 91/3, National Institute of Standards and Technology (NIST), Gaithersburg, MD 20899, USAa Strausser, 1987, User guide for the NBS prototype compiler for Estelle, Technical Report ICST/SNA 87/3, National Computer Systems Laboratory, National Institute of Standards and Technology (NIST), Gaithersburg, MD 20899, USA Strausser, 1987, Internals guide for the NBS prototype compiler for Estelle, Technical Report ICST/SNA 87/4, National Computer Systems Laboratory, National Institute of Standards and Technology (NIST), Gaithersburg, MD 20899, USA Vuong, 1988, An Estelle-C compiler for automatic protocol implementation, 387