{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:12:40Z","timestamp":1725459160422},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540619949"},{"type":"electronic","value":"9783540495888"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0037426","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:15:55Z","timestamp":1138202155000},"page":"425-432","source":"Crossref","is-referenced-by-count":3,"title":["A light-weight formalism for the specification of reactive systems"],"prefix":"10.1007","author":[{"given":"Peter","family":"Scholz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"M. Broy. Interaction Refinement \u2014 The Easy Way. In Program Design Calculi, volume 118 of NATO ASI Series F: Computer & System Sciences. Springer, 1993.","DOI":"10.1007\/978-3-662-02880-3"},{"key":"34_CR2","doi-asserted-by":"crossref","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":"34_CR3","doi-asserted-by":"crossref","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":"34_CR4","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":"34_CR5","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0304-3975(92)90053-I","volume":"101","author":"J.J.M. Hooman","year":"1992","unstructured":"J.J.M. Hooman, S. Ramesh, and W.P.de Roever. A compositional axiomatization of statecharts. Theoretical Computer Science, 101:289\u2013335, 1992.","journal-title":"Theoretical Computer Science"},{"key":"34_CR6","volume-title":"Languages of Statemate","author":"i-Logix Inc.","year":"1990","unstructured":"i-Logix Inc. Languages of Statemate, i-Logix Inc., 22 Third Avenue, Burlington, Mass. 01803, U.S.A., January 1990."},{"key":"34_CR7","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":"34_CR8","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. Also available in the WWW: http:\/\/www4.informatik.tumuenchen.de\/reports\/TUM-I9610.html."},{"key":"34_CR9","volume-title":"Technical Report TUM-I9628","author":"P. Scholz","year":"1996","unstructured":"P. Scholz. An Extended Version of Mini-Statecharts. Technical Report TUM-I9628, Technische Universit\u00e4t M\u00fcnchen, D-80290 M\u00fcnchen, 1996. Also available in the WWW: http:\/\/www4.informatik.tu-muenchen.de\/reports\/TUM-I9628.html."},{"key":"34_CR10","unstructured":"P. Scholz, D. Nazareth, and F. Regensburger. Mini-Statecharts: A Compositional Way to Model Parallel Systems. 1996. To Appear in: PDCS'96."},{"key":"34_CR11","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"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"G. Winskel. The Formal Semantics of Programming Languages. The MIT Press, 1993.","DOI":"10.7551\/mitpress\/3054.001.0001"}],"container-title":["Lecture Notes in Computer Science","SOFSEM'96: Theory and Practice of Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0037426","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,12]],"date-time":"2020-04-12T09:07:53Z","timestamp":1586682473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0037426"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540619949","9783540495888"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0037426","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}