{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:40:43Z","timestamp":1778298043878,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540544159","type":"print"},{"value":"9783540476177","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54415-1_49","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:45:24Z","timestamp":1330209924000},"page":"244-264","source":"Crossref","is-referenced-by-count":91,"title":["What is in a step: On the semantics of statecharts"],"prefix":"10.1007","author":[{"given":"A.","family":"Pnueli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Shalev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"12_CR1","unstructured":"G. Berry and G. Gonthier. The Synchronous Programming Language Esterel, Design, Semantics, Implementation. Technical Report, Technical Report 327, INRIA, 1988. to Appear in Science of Computer Programming."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"P. Caspi, N. Halbwachs, D. Pilaud, and J. Plaice. Lustre, a declarative language for programming synchronous systems. In Proc. 14th ACM Symp. Princ. of Prog. Lang., pages 178\u2013188, 1987.","DOI":"10.1145\/41625.41641"},{"key":"12_CR3","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. Sci. Comp. Prog., 8:231\u2013274, 1987.","journal-title":"Sci. Comp. Prog."},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. Statemate: a working environment for the development of complex reactive systems. IEEE Trans. Software Engin., 16:403\u2013414, 1990.","journal-title":"IEEE Trans. Software Engin."},{"key":"12_CR5","unstructured":"D. Harel, A. Pnueli, J. Schmidt, and R. Sherman. On the formal semantics of statecharts. In Proc. First IEEE Symp. Logic in Comp. Sci., pages 54\u201364, 1986."},{"key":"12_CR6","unstructured":"C. Huizing. Semantics of reactive systems: comparison and full abstraction. PhD thesis, Technical University Eindhoven, 1991."},{"key":"12_CR7","unstructured":"C. Huizing and R. Gerth. On the Semantics of Reactive Systems. Technical Report, Eindhoven University of Technology, 1988."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"C. Huizing, R. Gerth, and W. de Roever. Modeling statecharts behavior in a fully abstract way. In Proc. 13th CAAP, pages 271\u2013294, Lecture Notes in Comp. Sci. 299, Springer-Verlag, 1988.","DOI":"10.1007\/BFb0026110"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"F. Maraninchi. Argonaute: graphical description, semantics and verification of reactive systems by using a process algebra. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, Lecture Notes in Comp. Sci. 407, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-52148-8_4"},{"key":"12_CR10","unstructured":"A. Pnueli and M. Shalev. What is in a step? In J. Klop, J. Meijer, and J. Rutten, editors, J.W. De Bakker, Liber Amicorum, pages 373\u2013400, CWI, Amsterdam, 1989."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54415-1_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:12Z","timestamp":1605646452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54415-1_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544159","9783540476177"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-54415-1_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}