{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:46:44Z","timestamp":1725662804567},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151975"},{"type":"electronic","value":"9783642702853"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/978-3-642-70285-3_37","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T15:19:33Z","timestamp":1330096773000},"page":"610-645","source":"Crossref","is-referenced-by-count":0,"title":["Modellierung von OSI-Kommunikationsdiensten und Protokollen mit Hilfe von Pr\u00e4dikat-Transitionsnetzen"],"prefix":"10.1007","author":[{"given":"H. J.","family":"Burkhardt","sequence":"first","affiliation":[]},{"given":"H.","family":"Eckert","sequence":"additional","affiliation":[]},{"given":"R.","family":"Prinoth","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Net Theory and Applications Proceedings of the Advanced Course on General Net Theory of Processes and Systems","year":"1979","key":"37_CR1","unstructured":"Brauer, W. (ed.) Net Theory and Applications Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Springer, 1979"},{"key":"37_CR2","volume-title":"Standards for the ISO-Reference Model for Open Systems Interconnection Computer Networks, Vol. 5","author":"HJ Burkhardt","year":"1981","unstructured":"Burkhardt, H. J., Krecioch, T. H. Standards for the ISO-Reference Model for Open Systems Interconnection Computer Networks, Vol. 5, Nr. 3, May 1981 North-Holland"},{"key":"37_CR3","volume-title":"Structuring Principles of the Communication Architecture of Open Systems Computer Networks, Vol. 5","author":"HJ Burkhardt","year":"1981","unstructured":"Burkhardt, H. J., Schindler, S. Structuring Principles of the Communication Architecture of Open Systems Computer Networks, Vol. 5, Nr. 3, May 1981 North-Holland"},{"key":"37_CR4","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C-L Chang","year":"1973","unstructured":"Chang, C.-L., Lee, R. Symbolic Logic and Mechanical Theorem Proving Academic Press, 1973"},{"key":"37_CR5","volume-title":"Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen Dissertation","author":"H Eckert","year":"1983","unstructured":"Eckert, H. Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen Dissertation, Universit\u00e4t Bonn, 1983 (Ebenso: Berichte der GMD, Nr. 144, Oldenbourg 1984)"},{"key":"37_CR6","volume-title":"A computation-systems based method for automated proving of protocols against services","author":"H Eckert","year":"1983","unstructured":"Eckert, H., Prinoth, R. A computation-systems based method for automated proving of protocols against services Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification Z\u00fcrich, 1983, North-Holland, 1983"},{"key":"37_CR7","volume-title":"Produktnetze \u2014 Definition eines PROSIT-Beschreibungsmittels","author":"H Eckert","year":"1983","unstructured":"Eckert, H., Prinoth, R. Produktnetze \u2014 Definition eines PROSIT-Beschreibungsmittels (Vorversion), GMD-intern, 1983"},{"key":"37_CR8","volume-title":"Produktnetze \u2014 Definition eines PROSIT-Beschreibungsmittels Arbeitspapiere der GMD, Nr. 92","author":"H Eckert","year":"1984","unstructured":"Eckert, H., Prinoth, R. Produktnetze \u2014 Definition eines PROSIT-Beschreibungsmittels Arbeitspapiere der GMD, Nr. 92, 1984"},{"key":"37_CR9","volume-title":"Ableitung von Implementationsvorgaben aus modularisierten Produktnetzen Arbeitspapiere der GMD, Nr. 123","author":"E Faul-Luers","year":"1984","unstructured":"Faul-Luers, E.; Prinoth, R. Ableitung von Implementationsvorgaben aus modularisierten Produktnetzen Arbeitspapiere der GMD, Nr. 123, 1984"},{"key":"37_CR10","unstructured":"Information Processing Systems \u2014 Open Systems Interconnection \u2014 Basic Reference Model, ISO\/IS 7498"},{"key":"37_CR11","volume-title":"Fundamentals of the Layer Service Definitions and Protocol Specification","author":"P Linington","year":"1983","unstructured":"Linington, P. Fundamentals of the Layer Service Definitions and Protocol Specification Proceedings IEEE, 1983"},{"key":"37_CR12","volume-title":"An Algorithm to construct Distributed Systems from State-Maschines","author":"R Prinoth","year":"1982","unstructured":"Prinoth, R. An Algorithm to construct Distributed Systems from State-Maschines Proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing and Verification Idyllwild, 1982, North Holland, 1982"},{"key":"37_CR13","volume-title":"Modularisierung von Stellen\/Transitionsnetzen Arbeitspapiere der GMD, Nr. 26","author":"R Prinoth","year":"1983","unstructured":"Prinoth, R. Modularisierung von Stellen\/Transitionsnetzen Arbeitspapiere der GMD, Nr. 26, 1983"},{"key":"37_CR14","volume-title":"Transport-Protocol, Class 2, Formal Specification GMD-F2G3","author":"HJ Burkhardt","year":"1984","unstructured":"Burkhardt, H. J.; Eckert, H. Transport-Protocol, Class 2, Formal Specification GMD-F2G3, Projekt PROSIT, 1984"},{"key":"37_CR15","volume-title":"Modelling of OSI-Communication Services and Protocols using Predicate\/Transition Nets","author":"HJ Burkhardt","year":"1984","unstructured":"Burkhardt, H. J.; Eckert, H.; Prinoth, R. Modelling of OSI-Communication Services and Protocols using Predicate\/Transition Nets Proceedings of the IFIP WG 6.1 Fourth International Workshop on Protocol Specification, Testing and Verification Mt. Pocono, USA, 1984 North-Holland, 1984"},{"key":"37_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Multiprocessor Systems and their Concurrency","author":"PH Starke","year":"1984","unstructured":"Starke, P. H. Multiprocessor Systems and their Concurrency Math. Found, of Comp. Sc, Praha, CSSR, 1984 Lecture Notes in Computer Science, Springer, 1984"}],"container-title":["Informatik-Fachberichte","Kommunikation in Verteilten Systemen I"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-70285-3_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:51:18Z","timestamp":1606258278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-70285-3_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151975","9783642702853"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-70285-3_37","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1985]]}}}