{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T16:03:40Z","timestamp":1725638620989},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540106180"},{"type":"electronic","value":"9783642679780"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/978-3-642-67978-0_25","type":"book-chapter","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T19:45:29Z","timestamp":1322941529000},"page":"429-445","source":"Crossref","is-referenced-by-count":0,"title":["Towards an Easy-to-read and Unambiguous Description of Data Communication Protocols"],"prefix":"10.1007","author":[{"given":"Kurt","family":"Stemberger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"25_CR1","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1109\/TCOM.1980.1094685","volume":"28","author":"GV Bochmann","year":"1980","unstructured":"Bochmann, Gregor V. and Sunshine, Carl A. \u201cFormal Methods in Communication Protocol Design\u201d IEEE Transactions on Communications, Vol. Com-28, No. 4, April 1980, pp. 624\u2013631","journal-title":"IEEE Transactions on Communications"},{"issue":"4","key":"25_CR2","first-page":"624","volume":"9","author":"JD Day","year":"1979","unstructured":"Day, John D. and Sunshine, Carl A. (editors) \u201cA Bibliography on the Formal Specification and Verification of Computer Network Protocols\u201d IFIP Working Group 6.1 (INWG) Study Group C, published in: Computer Communication Review, vol. 9, 1979, no 4, pp. 23\u201339","journal-title":"IFIP Working Group 6.1 (INWG) Study Group C, published in: Computer Communication Review"},{"key":"25_CR3","volume-title":"Boston","author":"T Goguen","year":"1979","unstructured":"Goguen, Tardo, Tardo \u201cAn Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications\u201d Proceedings of the Conf. on Reliable Software, pp. 170\u2013189, Boston, 1979"},{"key":"25_CR4","unstructured":"ISO\/TC 97\/SC 16\/WG1 \u201cProposed Guidelines for Informal Specifications of Protocols for OSI\u201d Meeting on Formal Description Techniques, 1980"},{"key":"25_CR5","volume-title":"GI-Conference on Communication in Distributed Data Processing Systems, TU Berlin","author":"K Mattern","year":"1981","unstructured":"Mattern, K.; Weitz, H.; Zorn, S. \u201cVMP PASCAL, an Extended Language for the Implementation of Data Communication Protocols\u201d GI-Conference on Communication in Distributed Data Processing Systems, TU Berlin, 1981"},{"issue":"12","key":"25_CR6","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L. \u201cOn the Criteria to be used in Decomposing Systems into Modules\u201d CACM 15, 12\/1972), pp. 1053\u20131058","journal-title":"CACM"},{"key":"25_CR7","volume-title":"Technical Report CSG-45","author":"O Roubine","year":"1977","unstructured":"Roubine, Oliver and Robinson, Lawrence, Lawrence \u201cSpecial Reference Manual 3rd Edition\u201d Stanford Research Institute, Technical Report CSG-45, Jan. 1977"},{"key":"25_CR8","unstructured":"Schindler S., Marxen H., M\u00fcller-Zimmermann B. \u201cThe OSA Project: Automatic Generation of Efficient Code for RSPL Specifications\u201d TU Berlin, FB 20, TR79\u201316"},{"key":"25_CR9","unstructured":"Schindler, S. \u201cAlgebraic and Model Specification Techniques\u201d Proceedings of the 13th Hawaii International Conference on System Sciences, Jan. 3\u20134, 1980, Honolulu"},{"key":"25_CR10","volume-title":"Proceedings of the International Microcomputers Minicomputers Microprocessors\/DATACOM","author":"S Schindler","year":"1980","unstructured":"Schindler, S. \u201cThe OSA Project: RSPL - A Reliable Software Production Language\u201d Proceedings of the International Microcomputers Minicomputers Microprocessors\/DATACOM 80 Conference,\u2019 Geneva, June 1980"},{"key":"25_CR11","first-page":"202","volume-title":"\u201cFormale Beschreibungsmittel f\u00fcr offene Kommunikationssysteme im Rahmen von Normungsvorhaben\u201d GI-Fachtagung Formale Modelle f\u00fcr Informationssysteme","author":"G Schwichtenberg","year":"1979","unstructured":"Schwichtenberg, G. \u201cFormale Beschreibungsmittel f\u00fcr offene Kommunikationssysteme im Rahmen von Normungsvorhaben\u201d GI-Fachtagung Formale Modelle f\u00fcr Informationssysteme, Tutzing, May 1979, pp. 202\u2013219"}],"container-title":["Informatik-Fachberichte","Kommunikation in verteilten Systemen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67978-0_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:19:58Z","timestamp":1606256398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67978-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540106180","9783642679780"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67978-0_25","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}