00000nam 2200000zi 4500 9.870550 CaOODSP 20250325092847 m o d f cr ||||||||||| 190325e198403##quca #ob f000 0 eng d CaOODSP eng rda CaOODSP n-cn--- Co24-31/1984E-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 1984. [Ottawa] : Department of Communications Canada 1 online resource (109 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. OST83-00100." Digitized edition from print [produced by Innovation, Science and Economic Development Canada]. Includes bibliographical references. "The goals of Open System Interworking (OSI) require that implementors throughout the world develop correct and compatible protocol implementations. During the early work on OSI it was recognized that formal description techniques (FDT) would be desirable for attaining these goals. Therefore an ad hoc group on FDT was formed"--Introduction, page 2. 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 3.49 MB https://publications.gc.ca/collections/collection_2019/isde-ised/Co24-31-1984-eng.pdf