{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:05:21Z","timestamp":1725599121980},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678809"},{"type":"electronic","value":"9783642583223"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-642-58322-3_31","type":"book-chapter","created":{"date-parts":[[2011,8,4]],"date-time":"2011-08-04T23:05:05Z","timestamp":1312499105000},"page":"405-419","source":"Crossref","is-referenced-by-count":0,"title":["Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Gehrke","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","volume-title":"The Unified Modeling Language User Guide","author":"G Booch","year":"1998","unstructured":"Grady Booch, James Rumbaugh, Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998."},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Tom DeMarco. Structured Analysis and Systems Specification. Prentice Hall, 1979.","DOI":"10.1007\/978-3-642-48354-7_9"},{"key":"31_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04293-9","volume-title":"Introduction to Process Algebra","author":"W Fokkink","year":"2000","unstructured":"Wan Fokkink. Introduction to Process Algebra. Springer, 2000."},{"key":"31_CR4","volume-title":"Dissertation, Technische Universit\u00e4t Braunschweig, Institut f\u00fcr Software, Abteilung Programmierung","author":"T Gehrke","year":"2000","unstructured":"Thomas Gehrke. Dynamische Modelle f\u00fcr reaktive Systeme mit Daten. Dissertation, Technische Universit\u00e4t Braunschweig, Institut f\u00fcr Software, Abteilung Programmierung, 2000."},{"key":"31_CR5","first-page":"547","volume-title":"Tagungsband der 6. Fachtagung \u201eEntwicklung und Betrieb komplexer Automatisierung s systeme\u201d","author":"T Gehrke","year":"1999","unstructured":"Thomas Gehrke, Ursula Goltz, Heike Wehrheim. Zur semantischen Analyse der dynamischen Modelle von UML mit Petri-Netzen. In E. Schnieder (Hrsg.), Tagungsband der 6. Fachtagung \u201eEntwicklung und Betrieb komplexer Automatisierung s systeme\u201d, S. 547\u2013566. Braunschweig, 1999."},{"key":"31_CR6","first-page":"3","volume-title":"Proceedings of FORTE\/PSTV\u201998","author":"T Gehrke","year":"1998","unstructured":"Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim. An Algebraic Semantics for Message Sequence Chart Documents. In Stan Budkowski, Ana Cavalli, Elie Najm (Hrsg.), Proceedings of FORTE\/PSTV\u201998, S. 3\u201318. Kluwer Academic Press, 1998."},{"key":"31_CR7","volume-title":"A Mobile Calculus with Data. Technischer Bericht 99\u201304, Technische Universtit\u00e4t Braunschweig, Institut f\u00fcr Software, Abteilung Programmierung","author":"T Gehrke","year":"1999","unstructured":"Thomas Gehrke, Arend Rensink. A Mobile Calculus with Data. Technischer Bericht 99\u201304, Technische Universtit\u00e4t Braunschweig, Institut f\u00fcr Software, Abteilung Programmierung, Oktober 1999. Erh\u00e4ltlich unter http:\/\/www.es.tu-bs.de\/ips\/gehrke\/publications.html ."},{"key":"31_CR8","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985."},{"key":"31_CR9","volume-title":"Metamagicum \u2014 Fragen nach der Essenz von Geist und Struktur","author":"DR Hofstadter","year":"1988","unstructured":"Douglas R. Hofstadter. Metamagicum \u2014 Fragen nach der Essenz von Geist und Struktur. Klett\u2014Cotta, 1988."},{"key":"31_CR10","unstructured":"International Telecommunication Union ITU. Message Sequence Chart (MSC). Standard ITU-T Z.120, 1996."},{"key":"31_CR11","unstructured":"International Telecommunication Union ITU. Message Sequence Chart (MSC). Standard ITU-T Z.120 (Annex B), 1996."},{"key":"31_CR12","unstructured":"International Telecommunication Union ITU. MSC 2000. Standard ITU-T Z.120, November 1999."},{"key":"31_CR13","unstructured":"[Mil89] Robin Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Robin Milner, Joachim Parrow, David Walker. A Calculus of Mobile Processes, Part I+II. Information and Computation, 100, 1992.","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"31_CR15","volume-title":"Proceedings of SDL\u201997:Time for Testing \u2014 SDL, MSC and Trends","author":"S Mauw","year":"1997","unstructured":"S. Mauw, M.A. Reniers. High-level Message Sequence Charts. In Proceedings of SDL\u201997:Time for Testing \u2014 SDL, MSC and Trends. Elsevier, 1997."},{"key":"31_CR16","unstructured":"Object Management Group OMG. Unified Modeling Language Specification. Technischer Bericht, Version 1.3 R9, 1999."}],"container-title":["Informatik aktuell","Informatik 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-58322-3_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T16:06:29Z","timestamp":1560441989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-58322-3_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678809","9783642583223"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-58322-3_31","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[2000]]}}}