{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:43:12Z","timestamp":1725630192342},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540119821"},{"type":"electronic","value":"9783642688294"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-68829-4_15","type":"book-chapter","created":{"date-parts":[[2011,11,4]],"date-time":"2011-11-04T17:33:05Z","timestamp":1320427985000},"page":"316-335","source":"Crossref","is-referenced-by-count":0,"title":["Spezifikation von Datenkommunikationsprotokollen Mittels der Datenflusssprache EDDA"],"prefix":"10.1007","author":[{"given":"Georg","family":"Bruckner","sequence":"first","affiliation":[]},{"given":"Herbert","family":"Motschnig","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","first-page":"361","volume":"2","author":"GV Bochmann","year":"1978","unstructured":"BOCHMANN G. V.: \u201cFinite Description of Communication Protocols\u201d, Computer Networks, Vol. 2, Oct. 1978, pp. 361\u2013372.","journal-title":"Computer Networks"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1109\/TCOM.1980.1094685","volume":"4","author":"GV Bochmann","year":"1980","unstructured":"BOCHMANN G. V., SUNSHINE C. 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"},{"key":"15_CR3","first-page":"663","volume-title":"Petri Nets for Protocol Modeling and Verification, Proc. Computer Networks and Teleprocessing Symposium","author":"A Danthine","year":"1977","unstructured":"DANTHINE A.: \u201cPetri Nets for Protocol Modeling and Verification\u201d, Proc. Computer Networks and Teleprocessing Symposium, Vol. II, Budapest, Oct. 1977, pp. 663\u2013685."},{"key":"15_CR4","first-page":"362","volume-title":"First Version of a Data Flow Procedure Language","author":"JB Dennis","year":"1974","unstructured":"DENNIS J. B.: \u201cFirst Version of a Data Flow Procedure Language\u201d, Proc. Colloque sur la Programmation, Springer-Verlag N.Y., 1974, pp. 362\u2013376."},{"key":"15_CR5","unstructured":"IS0\/TC97\/SC16 \u201cOpen Systems Interconnection, Basic Reference Model\u201d, Draft Proposal, ISO\/DP 7498, Dec. 1980."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"KERNER H., BRUCKNER G.: \u201cRechnernetzwerke, Systeme, Protokolle und das ISO-Architekturmodell\u201d, Springer-Verlag Wien, 1981.","DOI":"10.1007\/978-3-7091-8637-4"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"1671","DOI":"10.1109\/TCOM.1979.1094323","volume":"11","author":"PM Merlin","year":"1979","unstructured":"MERLIN P. M.: \u201cSpecification and Validation of Protocols\u201d, IEEE Transactions on Communications, Vol. COM-27, No. 11, Nov. 1979, pp. 1671\u20131680.","journal-title":"IEEE Transactions on Communications"},{"issue":"1","key":"15_CR8","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/TSE.1977.229900","volume":"3","author":"DT Ross","year":"1977","unstructured":"ROSS D. T.: \u201cStructured Analysis (SA): A Language for Communicating Ideas\u201d, IEEE Transactions on Software Engineering, Vol. 3, No. 1, Jan. 1977, pp. 16\u201334.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1016\/0140-3664(80)90151-6","volume":"3","author":"S Schindler","year":"1980","unstructured":"SCHINDLER S.: \u201cDistributed Abstract Machine\u201d, Computer Communications, Vol. 3, Oct. 1980, pp. 208\u2013220.","journal-title":"Computer Communications"},{"key":"15_CR10","unstructured":"STENNING N. V.: \u201cDefinition and Verification of Computer Network Protocols\u201d, National Physical Laboratory Report DNACS 15 \/79, Feb. 1979."},{"key":"15_CR11","volume-title":"Communication Protocol Modeling (Artikelsammlung)","author":"CA Sunshine","year":"1981","unstructured":"SUNSHINE C. A.: \u201cCommunication Protocol Modeling\u201d (Artikelsammlung), Artech House, Inc., 1981."},{"issue":"1","key":"15_CR12","first-page":"28","volume":"14","author":"EJW Symons","year":"1980","unstructured":"SYMONS E. J. W.: \u201cIntroduction to Numerical Petri Nets, a General Graphical Model of Concurrent Processing Systems\u201d, Australian Telecommunication Research, Vol. 14, No. 1, 1980, pp. 28\u201332.","journal-title":"Australian Telecommunication Research"},{"key":"15_CR13","volume-title":"Universit\u00e4t Wien, Okt","author":"W Trattnig","year":"1980","unstructured":"TRATTNIG W.: \u201cEDDA, eine formal definierte (Datenflu\u00df-)Spezifikationssprache zur Entwicklung verteilter Systeme200, Dissertation, Institut f\u00fcr Digitale Anlagen, Technische\u201d Universit\u00e4t Wien, Okt. 1980."},{"key":"15_CR14","volume-title":"EDDA, a Very-High-Level Programming and Specification Language in the Style of SADT, TR DA 81\/01\/01","author":"W Trattnig","year":"1981","unstructured":"TRATTNIG W., KERNER H.: \u201cEDDA, a Very-High-Level Programming and Specification Language in the Style of SADT\u201d, TR DA 81\/01\/01, Institut f\u00fcr Angewandte Informatik und Systemanalyse, Technische Universit\u00e4t Wien, Jan. 1981."},{"key":"15_CR15","volume-title":"EDDA \u2014 eine Datenflu\u00dfsprache zur Spezifikation von Softwaresystemen, TR DA 82\/03\/02, Institut f\u00fcr Angewandte Informatik und Systemanalyse","author":"W Trattnig","year":"1982","unstructured":"TRATTNIG W.: \u201cEDDA \u2014 eine Datenflu\u00dfsprache zur Spezifikation von Softwaresystemen, TR DA 82\/03\/02, Institut f\u00fcr Angewandte Informatik und Systemanalyse, Technische Universit\u00e4t Wien, M\u00e4rz 1982."},{"key":"15_CR16","volume-title":"Specification of a Transport and Session Layer Protocol","author":"F Vogt","year":"1979","unstructured":"VOGT F., DREGGER E., ECKERT H., LAUSCH B.: \u201cSpecification of a Transport and Session Layer Protocol\u201d, PIX\/HLP\/TAG\/ 79 \/05, Sept. 1979."}],"container-title":["Informatik-Fachberichte","Kommunikation in Verteilten Systemen \u2014 Anwendungen und Betrieb"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68829-4_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:28:08Z","timestamp":1606256888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68829-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540119821","9783642688294"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68829-4_15","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}