00000nam 2200000zi 4500 9.870542 CaOODSP 20250325092847 m o d f cr ||||||||||| 190325e198303##quca #ob f000 0 eng d CaOODSP eng rda CaOODSP n-cn--- Co24-31/1983E-PDF Bochmann, Gregor V., 1941- author. Formal description techniques for protocols : final report / by Gregor V. Bochmann. Montréal : Département d'informatique et de recherche opérationnelle, Université de Montréal, March 1983. [Ottawa] : Department of Communications Canada 1 online resource (182 pages in various pagings) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier "This report was prepared for the Department of Communications Canada under contract No. OSU82-00218." Digitized edition from print [produced by Innovation, Science and Economic Development Canada]. Includes bibliographical references. "The importance of formal description techniques (FDT) for the design and documentation of computer communication protocols and services has been acknowledged by the ISO/TC97 Subcommittee on Open System Interworking (SC16) through the establishment of a Rapporteur's Group on FDT"--Introduction, page 4. gccst Computer systems gccst Communications gccst Specifications Canada. Department of Communications. Université de Montréal. Département d'informatique et de recherche opérationnelle. PDF 2.04 MB https://publications.gc.ca/collections/collection_2019/isde-ised/Co24-31-1983-eng.pdf