{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T14:16:37Z","timestamp":1778249797314,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540440437","type":"print"},{"value":"9783540456940","type":"electronic"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45694-5_26","type":"book-chapter","created":{"date-parts":[[2007,10,5]],"date-time":"2007-10-05T03:44:18Z","timestamp":1191555858000},"page":"386-401","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Axiomatizing an Algebra of Step Reactions for Synchronous Languages"],"prefix":"10.1007","author":[{"given":"Gerald","family":"L\u00fcttgen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Mendler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"key":"26_CR1","unstructured":"G. Berry. The constructive semantics of pure Esterel, 1999. Draft Version 3. Available at http:\/\/www-sop.inria.fr\/meije\/Personnel\/Gerard.Berry.html."},{"key":"26_CR2","first-page":"231","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. SCP, 8:231\u2013274, 1987.","journal-title":"SCP"},{"key":"26_CR3","unstructured":"D. Harel, A. Pnueli, J. Pruzan-Schmidt, and R. Sherman. On the formal semantics of Statecharts. In LICS\u201987, pages 54\u201364. IEEE Computer Society Press, 1987."},{"key":"26_CR4","doi-asserted-by":"publisher","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":"26_CR5","unstructured":"C. Huizing. Semantics of Reactive Systems: Comparison and Full Abstraction. PhD thesis, Eindhoven Univ. of Technology, 1991."},{"key":"26_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BFb0026110","volume-title":"CAAP\u201988","author":"C. Huizing","year":"1988","unstructured":"C. Huizing, R. Gerth, and W.-P. de Roever. Modeling Statecharts behavior in a fully abstract way. In CAAP\u201988, volume 299 of LNCS, pages 271\u2013294, 1988."},{"key":"26_CR7","unstructured":"F. Levi. Verification of Temporal and Real-Time Properties of Statecharts. PhD thesis, Univ. of Pisa-Genova-Udine, 1997."},{"key":"26_CR8","unstructured":"G. L\u00fcttgen and M. Mendler. Statecharts: From visual syntax to model-theoretic semantics. In Integrating Diagrammatic and Formal Specification Techniques, pages 615\u2013621. Austrian Computer Society, 2001."},{"issue":"1","key":"26_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/504077.504078","volume":"3","author":"G. L\u00fcttgen","year":"2002","unstructured":"G. L\u00fcttgen and M. Mendler. The intuitionism behind Statecharts steps. ACM Trans. on Computational Logic, 3(1):1\u201341, 2002.","journal-title":"ACM Trans. on Computational Logic"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"G. L\u00fcttgen and M. Mendler. Towards a model-theory for Esterel. In Synchronous Languages, Applications, and Programming, volume 65:5. ENTCS, 2002. To appear.","DOI":"10.1016\/S1571-0661(05)80444-X"},{"key":"26_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/3-540-48320-9_28","volume-title":"CONCUR\u201999","author":"G. L\u00fcttgen","year":"1999","unstructured":"G. L\u00fcttgen, M. von der Beeck, and R. Cleaveland. Statecharts via process algebra. In CONCUR\u201999, volume 1664 of LNCS, pages 399\u2013414, 1999."},{"key":"26_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1007\/3-540-61604-7_84","volume-title":"CONCUR\u201996","author":"A. Maggiolo-Schettini","year":"1996","unstructured":"A. Maggiolo-Schettini, A. Peron, and S. Tini. Equivalences of Statecharts. In CONCUR\u201996, volume 1119 of LNCS, pages 687\u2013702, 1996."},{"key":"26_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1007\/BFb0084815","volume-title":"CONCUR\u201992","author":"F. Maraninchi","year":"1992","unstructured":"F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In CONCUR\u201992, volume 630 of LNCS, pages 550\u2013564, 1992."},{"key":"26_CR14","series-title":"Lect Notes Comput Sci","volume-title":"AMAST\u201995","author":"P. K. Pandya","year":"1995","unstructured":"P. K. Pandya, Y. S. Ramakrishna, and R. K. Shyamasundar. A compositional semantics of Esterel in Duration Calculus. In AMAST\u201995, volume 936 of LNCS, 1995."},{"key":"26_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-54415-1_49","volume-title":"TACS\u201991","author":"A. Pnueli","year":"1991","unstructured":"A. Pnueli and M. Shalev. What is in a step: On the semantics of Statecharts. In TACS\u201991, volume 526 of LNCS, pages 244\u2013264, 1991."},{"key":"26_CR16","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/978-94-009-5203-4_4","volume":"III","author":"D. van Dalen","year":"1986","unstructured":"D. van Dalen. Intuitionistic logic. In Handbook of Philosophical Logic, volume III, chapter 4, pages 225\u2013339. Reidel, 1986.","journal-title":"Handbook of Philosophical Logic"},{"issue":"1","key":"26_CR17","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/0890-5401(90)90058-P","volume":"87","author":"G. Winskel","year":"1990","unstructured":"G. Winskel. A compositional proof system on a category of labelled transition systems. Inform. and Comp., 87(1\/2):2\u201357, 1990.","journal-title":"Inform. and Comp."}],"container-title":["Lecture Notes in Computer Science","CONCUR 2002 \u2014 Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45694-5_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T13:53:30Z","timestamp":1778248410000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-45694-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540440437","9783540456940"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45694-5_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"18 September 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}