00000nam 2200000zi 4500 9.870247 CaOODSP 20250325092847 m o d f cr ||||||||||| 190320e1979 onc||||fo f0|0 0 eng d CaOODSP eng rda CaOODSP n-cn--- Co24-32/1979E-PDF Bochmann, Gregor V., 1941- author. Study on data network protocols : phase I, formalized methods for protocol and interface descriptions : final report / by G. V. Bochmann. [Montréal] : Département d'informatique et de recherche opérationnelle, Université de Montréal, February 1979. [Ottawa] : Department of Communications. 1 online resource (40 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier Digitized edition from print [produced by Innovation, Science and Economic Development Canada]. Includes bibliographical references. "The objective of this study, is to advance the application of formal description methods for obtaining precise specification of protocol standards, and in particular, to determine a formal description method based on state diagrams suitable for use in ISO and CCITT, taking into account existing description methods"--Introduction, page 2. gccst Computer networks gccst Computer programming Canada. Department of Communications. PDF 1.97 MB https://publications.gc.ca/collections/collection_2019/isde-ised/Co24/Co24-32-1979-eng.pdf