{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:54Z","timestamp":1725664434111},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592938"},{"type":"electronic","value":"9783540492337"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59293-8_213","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:12:18Z","timestamp":1330276338000},"page":"454-468","source":"Crossref","is-referenced-by-count":1,"title":["Statecharts, transition structures and transformations"],"prefix":"10.1007","author":[{"given":"Adriano","family":"Peron","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"30_CR1","first-page":"128","volume-title":"LNCS 863","author":"M. Beek von der","year":"1994","unstructured":"von der Beek, M.: A Comparison of Statecharts Variants, LNCS 863, Springer, Berlin, 1994, pp. 128\u2013148."},{"key":"30_CR2","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 8 (1987), pp. 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"30_CR3","first-page":"54","volume-title":"On the Formal Semantics of Statecharts","author":"D. Harel","year":"1987","unstructured":"Harel, D., Pnueli, A., Schmidt, J., P., Sherman, R.: On the Formal Semantics of Statecharts, Proc. 2nd IEEE Symposium on Logic in Computer Science, IEEE CS Press, New York, 1987, pp. 54\u201364."},{"key":"30_CR4","first-page":"271","volume-title":"LNCS 299","author":"C. Huizing","year":"1988","unstructured":"Huizing, C., Gerth, R., de Roever, W.P.: Modelling Statechart Behaviour in a Fully Abstract Way, LNCS 299, Springer, Berlin, 1988, pp. 271\u2013294."},{"key":"30_CR5","unstructured":"Peron, A.: Synchronous and Asynchronous Models for Statecharts, Dipartimento di Informatica, Universit\u00e0 di Pisa, PhD Thesis, TD 21\/93, 1993."},{"key":"30_CR6","first-page":"806","volume-title":"LNCS 789","author":"A. Peron","year":"1994","unstructured":"Peron, A., Maggiolo-Schettini, A.: Transitions as Interrupts: A New Semantics for Timed Statecharts, LNCS 789, Springer, 1994, Berlin, pp. 806\u2013821."},{"key":"30_CR7","first-page":"244","volume-title":"LNCS 525","author":"A. Pnueli","year":"1991","unstructured":"Pnueli, A., Shalev, M.: What is in a Step: On the Semantics of Statecharts, LNCS 525, Springer, 1991, Berlin, pp. 244\u2013464."},{"key":"30_CR8","unstructured":"Uselton, A.C., Smolka S.A.: A Process Algebraic Semantics for Statecharts via State Refinement, Proceedings Working Conference on Programming, Concepts, Methods and Calculi (PROCOMET'94), San Miniato, Italy, 1994, pp. 184\u2013200."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '95: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59293-8_213.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:27:02Z","timestamp":1619573222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59293-8_213"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592938","9783540492337"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-59293-8_213","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}