{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T21:15:41Z","timestamp":1775769341495,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540664253","type":"print"},{"value":"9783540483205","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48320-9_28","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T13:52:42Z","timestamp":1195134762000},"page":"399-414","source":"Crossref","is-referenced-by-count":16,"title":["Statecharts via Process Algebra"],"prefix":"10.1007","author":[{"given":"Gerald","family":"L\u00fcttgen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"von der Beeck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rance","family":"Cleaveland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,19]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"J. C. M. Baeten and W. P. Weijland. Process Algebra, vol. 18 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"28_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Gonthier. The ESTEREL synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19:87\u2013152, 1992.","journal-title":"Science of Computer Programming"},{"key":"28_CR3","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25\u201359, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"R. Cleaveland, G. L\u00fcttgen, and V. Natarajan. Priority in process algebra. In Handbook of Process Algebra. Elsevier, 1999.","DOI":"10.1002\/047134608X.W2446"},{"key":"28_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/3-540-61474-5_87","volume-title":"CAV\u2019 96","author":"R. Cleaveland","year":"1996","unstructured":"R. Cleaveland and S. Sims. The NCSU Concurrency Workbench. In CAV\u2019 96, vol. 1102 of LNCS, pages 394\u2013397, 1996. Springer Verlag."},{"key":"28_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/3-540-49213-5_8","volume-title":"Compositionality: The SignificantDifference","author":"W. Damm","year":"1997","unstructured":"W. Damm, B. Josko, H. Hungar, and A. Pnueli. A compositional real-time semantics of STATEMATE designs. In Compositionality: The SignificantDifference, vol. 1536 of LNCS, pages 186\u2013238, 1997. Springer Verlag."},{"key":"28_CR7","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"},{"issue":"4","key":"28_CR8","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"D. Harel and A. Naamad. The STATEMATE semantics of Statecharts. ACM Transactions on Software Engineering, 5(4):293\u2013333, 1996.","journal-title":"ACM Transactions on Software Engineering"},{"key":"28_CR9","unstructured":"D. Harel, A. Pnueli, J. P. Schmidt, and R. Sherman. On the formal semantics of Statecharts. In LICS\u2019 87, pages 56\u201364, 1987. IEEE Computer Society Press."},{"key":"28_CR10","unstructured":"D. Harel and M. Politi. Modeling Reactive Systems with Statecharts: The STATEMATE Approach. McGraw Hill, 1998."},{"key":"28_CR11","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M. Hennessy","year":"1995","unstructured":"M. Hennessy and T. Regan. A process algebra for timed systems. Information and Computation, 117:221\u2013239, 1995.","journal-title":"Information and Computation"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"issue":"5","key":"28_CR13","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. J. Holzmann","year":"1997","unstructured":"G. J. Holzmann. The model checker Spin. IEEE Transactions on Software Engineering, 23(5):279\u2013295, 1997.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"28_CR14","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":"28_CR15","unstructured":"C. Huizing. Semantics of Reactive Systems: Comparison and Full Abstraction. PhD thesis, Eindhoven University of Technology, 1991."},{"key":"28_CR16","unstructured":"F. Levi. Verification of Temporal and Real-Time Properties of Statecharts. PhD thesis, University of Pisa-Genova-Udine, 1997."},{"key":"28_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1007\/3-540-61604-7_84","volume-title":"CONCUR\u2019 96","author":"A. Maggiolo-Schettini","year":"1996","unstructured":"A. Maggiolo-Schettini, A. Peron, and S. Tini. Equivalences of Statecharts. In CONCUR\u2019 96, vol. 1119 of LNCS, pages 687\u2013702, 1996. Springer Verlag."},{"key":"28_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1007\/BFb0084815","volume-title":"CONCUR\u2019 92","author":"F. Maraninchi","year":"1992","unstructured":"F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In CONCUR\u2019 92, vol. 630 of LNCS, pages 550\u2013564, 1992. Springer Verlag."},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"E. Mikk, Y. Lakhnech, C. Petersohn, and M. Siegel. On formal semantics of Statecharts as supported by STATEMATE. In Second BCS-FACS Northern Formal Methods Workshop, 1997. Springer Verlag.","DOI":"10.14236\/ewic\/FA1997.12"},{"key":"28_CR20","unstructured":"E. Mikk, Y. Lakhnech, M. Siegel, and G. J. Holzmann. Verifying Statecharts with Spin. In WIFT\u2019 98, 1998. IEEE Computer Society Press."},{"key":"28_CR21","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"28_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-54415-1_49","volume-title":"TACS\u2019 91","author":"A. Pnueli","year":"1991","unstructured":"A. Pnueli and M. Shalev. What is in a step: On the semantics of Statecharts. In TACS\u2019 91, vol. 526 of LNCS, pages 244\u2013264, 1991. Springer Verlag."},{"key":"28_CR23","unstructured":"P. Scholz. Design of Reactive Systems and their Distributed Implementation with Statecharts. PhD thesis, Munich University of Technology, 1998."},{"key":"28_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/978-3-540-48654-1_2","volume-title":"CONCUR\u2019 94","author":"A. C. Uselton","year":"1994","unstructured":"A. C. Uselton and S. A. Smolka. A compositional semantics for Statecharts using labeled transition systems. In CONCUR\u2019 94, vol. 836 of LNCS, pages 2\u201317, 1994. Springer Verlag."},{"key":"28_CR25","unstructured":"A. C. Uselton and S. A. Smolka. A process-algebraic semantics for Statecharts via state refinement. In ProcOMET\u2019 94. North Holland\/Elsevier, 1994."},{"key":"28_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-58468-4_163","volume-title":"FTRTFT\u2019 94","author":"M. v.d. Beeck","year":"1994","unstructured":"M. v.d. Beeck. A comparison of Statecharts variants. In FTRTFT\u2019 94, vol. 863 of LNCS, pages 128\u2013148, 1994. Springer Verlag."},{"key":"28_CR27","first-page":"274","volume":"2","author":"C. Verhoef","year":"1995","unstructured":"C. Verhoef. A congruence theorem for structured operational semantics with predicates and negative premises. Nordic Journal of Computing, 2:274\u2013302, 1995.","journal-title":"Nordic Journal of Computing"},{"key":"28_CR28","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/3-540-54233-7_136","volume-title":"ICALP\u2019 91","author":"W. Yi","year":"1991","unstructured":"W. Yi. CCS + time = an interleaving model for real time systems. In ICALP\u2019 91, vol. 510 of LNCS, pages 217\u2013228, 1991. Springer Verlag."}],"container-title":["Lecture Notes in Computer Science","CONCUR\u201999 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48320-9_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T18:56:53Z","timestamp":1684090613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48320-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664253","9783540483205"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-48320-9_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}