{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:09Z","timestamp":1725664629796},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630104"},{"type":"electronic","value":"9783540690580"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63010-4_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:58:53Z","timestamp":1330279133000},"page":"126-140","source":"Crossref","is-referenced-by-count":1,"title":["Communication concepts for statecharts: A semantic foundation"],"prefix":"10.1007","author":[{"given":"Peter","family":"Scholz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dieter","family":"Nazareth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"G. Berry. Constructive Semantics of Esterel: From Theory to Practice. In Algebraic Methodology and Software Technology, 5th Int. Conference AMAST'96, volume 1101 of Lecture Notes in Computer Science. Springer, 1996.","DOI":"10.1007\/BFb0014318"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"M. Broy. Algebraic Specification of Reactive Systems. In Algebraic Methodology and Software Technology, 5th Int. Conference AMAST'96, volume 1101 of Lecture Notes in Computer Science. Springer, 1996.","DOI":"10.1007\/BFb0014335"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"E.M. Clark and E.A. Emerson. Characterizing Properties of Parallel Programs as Fixpoints, volume 85 of Lecture Notes in Computer Science, pages 169\u2013181. Springer, 1981.","DOI":"10.1007\/3-540-10003-2_69"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel. Statemate: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, 16:403\u2013413, 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"C. Huizing and W.-P. de Roever. Introduction to Design Choices in the Semantics of Statecharts. Information Processing Letters, 37, 1991.","DOI":"10.1016\/0020-0190(91)90190-S"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"D. Harel and A. Naamad. The Statemate Semantics of Statecharts. Submitted to: ACM Transations Software Engineering Methods, 1995.","DOI":"10.1145\/235321.235322"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"D. Harel and A. Naamad. The Statemate Semantics of Statecharts. IEEE Transactions on Software Engineering Method, 1996.","DOI":"10.1145\/235321.235322"},{"key":"9_CR9","unstructured":"D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman. On the Formal Semantics of Statecharts. Proceedings on the Symposium on Logic in Computer Science, pages 54\u201364, 1987."},{"key":"9_CR10","unstructured":"i-Logix Inc., 22 Third Avenue, Burlington, Mass. 01803, U.S.A. Languages of Statemate, 1990."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"F. Maraninchi. Operational and Compositional Semantics of Synchronous Automaton Compositions, volume 630 of Lecture Notes in Computer Science, pages 550\u2013564. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0084815"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"F. Maraninchi and N. Halbwachs. Compositional Semantics of Non-deterministic Synchronous Languages. ESOP'96, 1996.","DOI":"10.1007\/3-540-61055-3_40"},{"key":"9_CR13","volume-title":"Technical Report TUM-I9610","author":"D. Nazareth","year":"1996","unstructured":"D. Nazareth, F. Regensburger, and P. Scholz. Mini-Statecharts: A Lean Version of Statecharts. Technical Report TUM-I9610, Technische Universit\u00e4t M\u00fcnchen, D-80290 M\u00fcnchen, 1996."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"J. Philipps and P. Scholz. Compositional Specification of Embedded Systems with Statecharts. TAPSOFT'97, 1997.","DOI":"10.1007\/BFb0030631"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"J. Philipps and P. Scholz. Formal Verification of Statecharts with Instantaneous Chain Reactions. TACAS'97, 1997.","DOI":"10.1007\/BFb0035391"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"J. Philipps and P. Scholz. System-Level Hardware Design with \u03bc-Charts. CHDL'97, 1997.","DOI":"10.1007\/978-0-387-35064-6_7"},{"key":"9_CR17","unstructured":"P. Scholz, D. Nazareth, and F. Regensburger. Mini-Statecharts: A Compositional Way to Model Parallel Systems. PDCS'96, 1996."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"M. von der Beeck. A Comparison of Statecharts Variants. volume 863 of Lecture Notes in Computer Science, pages 128\u2013148. Springer, 1994.","DOI":"10.1007\/3-540-58468-4_163"}],"container-title":["Lecture Notes in Computer Science","Transformation-Based Reactive Systems Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63010-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T10:37:50Z","timestamp":1561372670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}