{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:04:45Z","timestamp":1725573885815},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204619"},{"type":"electronic","value":"9783540398936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39893-6_9","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:35:57Z","timestamp":1294396557000},"page":"125-143","source":"Crossref","is-referenced-by-count":2,"title":["The Equivalence of Statecharts"],"prefix":"10.1007","author":[{"given":"Quan","family":"Long","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zongyan","family":"Qiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shengchao","family":"Qin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","first-page":"128","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"M. Beeck von der","year":"1994","unstructured":"von der Beeck, M.: A comparison of Statecharts variants. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol.\u00a0863, pp. 128\u2013148. Springer, Heidelberg (1994)"},{"key":"9_CR2","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1998","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0304-3975(94)00169-J","volume":"138","author":"J. Davies","year":"1995","unstructured":"Davies, J., Schneider, S.: A brief history of Timed CSP. Theoretical Computer Science\u00a0138, 243\u2013271 (1995)","journal-title":"Theoretical Computer Science"},{"issue":"3","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":"Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"issue":"4","key":"9_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The STATEMATE semantics of Statecharts. ACM Trans. on Software Engineering and Methodology\u00a05(4), 293\u2013333 (1996)","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"9_CR6","first-page":"56","volume-title":"Symp. on Logis in Computer Science","author":"D. Harel","year":"1987","unstructured":"Harel, D., Pnueli, A., Schmidt, J., Sherman, R.: On the formal semantics of Statecharts. In: Symp. on Logis in Computer Science, pp. 56\u201364. IEEE CS Press, Los Alamitos (1987)"},{"key":"9_CR7","volume-title":"Proc. of 10th Anniversary Colloquium of the United Nations University \/ International Institute for Software Technology","author":"J. He","year":"2002","unstructured":"He, J.: An algebraic approach to the VERILOG programming. In: Proc. of 10th Anniversary Colloquium of the United Nations University \/ International Institute for Software Technology. Springer, Heidelberg (2002)"},{"key":"9_CR8","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"9_CR9","volume-title":"Unifying Theory of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theory of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"9_CR10","unstructured":"Huizing, C.: Semantics of Reactive Systems: Comparison and Full Abstraction, Ph.D. thesis, Eindhoven University of Technology, The Netherlands (1991)"},{"issue":"9","key":"9_CR11","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1109\/32.317428","volume":"20","author":"N.G. Leveson","year":"1994","unstructured":"Leveson, N.G., Heimdahl, M., Hildreth, H., Reese, J.: Requirements specifications for process control systems. IEEE Trans. on Software Engineering\u00a020(9), 684\u2013707 (1994)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"L\u00fcttgen, G., von der Beeck, M., Cleaveland, R.: A compositional approach to Statecharts semantics, NASA\/ICASE Report No.2000-12 (March 2000)","DOI":"10.1145\/355045.355062"},{"key":"9_CR13","first-page":"66","volume-title":"IFM 1999: Integrated Formal Methods","author":"B. Mahony","year":"1999","unstructured":"Mahony, B., Dong, J.S.: Overview of the semantics of TCOZ. In: IFM 1999: Integrated Formal Methods, pp. 66\u201385. Springer, Heidelberg (1999)"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-54415-1_49","volume-title":"Theoretical Aspects of Computer Software","author":"A. Pnueli","year":"1991","unstructured":"Pnueli, A., Shalev, M.: What is in a step: on the semantics of Statecharts. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol.\u00a0526, pp. 244\u2013264. Springer, Heidelberg (1991)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Qin, S., Chin, W.N.: Mapping Statecharts to VERILOG for hardware\/software co-specification. In: FM 2003: the 12th International FME Symposium (2003) (to appear)","DOI":"10.1007\/978-3-540-45236-2_17"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1007\/3-540-61604-7_84","volume-title":"CONCUR \u201996: Concurrency Theory","author":"M. Schettini","year":"1996","unstructured":"Schettini, M., Peron, A., Tini, S.: Equivalences of Statecharts. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 687\u2013702. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39893-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T13:43:20Z","timestamp":1559915000000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39893-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204619","9783540398936"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39893-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}