{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:28Z","timestamp":1725664828294},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616481"},{"type":"electronic","value":"9783540706533"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:10:16Z","timestamp":1330294216000},"page":"55-71","source":"Crossref","is-referenced-by-count":3,"title":["Retiming techniques for Statecharts"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Maggiolo-Schettini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adriano","family":"Peron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"4_CR1","first-page":"72","volume-title":"Lecture Notes in Computer Science 761","author":"G. Berry","year":"1993","unstructured":"Berry, G.: Preemption in Concurrent Systems, Lecture Notes in Computer Science 761, Springer, Berlin, 1993, pp. 72\u201393."},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0304-3975(90)90190-S","volume":"71","author":"J. Gruska","year":"1990","unstructured":"Gruska, J.: Synthesis, Structure and Power of Systolic Computations, Theoretical Computer Science 71 (1990), pp. 47\u201378.","journal-title":"Theoretical Computer Science"},{"key":"4_CR3","doi-asserted-by":"crossref","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":"4_CR4","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":"4_CR5","first-page":"271","volume-title":"Lecture Notes in Computer Science 299","author":"C. Huizing","year":"1988","unstructured":"Huizing, C., Gerth, R., de Roever, W.P.: Modelling Statechart Behaviour in a Fully Abstract Way, Lecture Notes in Computer Science 299, Springer, Berlin, 1988, pp. 271\u2013294."},{"key":"4_CR6","first-page":"591","volume-title":"Lecture Notes in Computer Sciences 571","author":"Y. Kesten","year":"1992","unstructured":"Kesten, Y., Pnueli, A.: Timed and Hybrid Statecharts and their Textual Representation, Lecture Notes in Computer Sciences 571, Springer, Berlin, 1992, pp. 591\u2013620."},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1109\/32.368134","volume":"20","author":"F. Jahanian","year":"1994","unstructured":"Jahanian, F., Mok, A.K.: Modechart: A Specification Language for Real Time Systems, IEEE Transactions on Software Engineering 20 (1994), pp. 933\u2013947.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR8","first-page":"447","volume-title":"Lecture Notes in Computer Sciences 600","author":"O. Maler","year":"1992","unstructured":"Maler, O., Manna, Z., Pnueli, A.: From Timed to Hybrid Systems, Lecture Notes in Computer Sciences 600, Springer, Berlin, 1992, pp. 447\u2013484."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Leiserson, C.E., Saxe, J.B.: Optimizing Synchronous Systems, Proc. FOCS (1981), pp. 23\u201336.","DOI":"10.1109\/SFCS.1981.34"},{"key":"4_CR10","unstructured":"Peron, A.: Synchronous and Asynchronous Models for Statecharts, Dipartimento di Informatica, Universit\u00e0 di Pisa, PhD Thesis, TD 21\/93, 1993."},{"key":"4_CR11","first-page":"454","volume-title":"Proc. TAPSOFT'95 Lecture Notes in Computer Science 915","author":"A. Peron","year":"1995","unstructured":"Peron, A.: Statecharts, Transition Structures and Transformations, Proc. TAPSOFT'95 Lecture Notes in Computer Science 915, Springer, Berlin, 1995, pp. 454\u2013468."},{"key":"4_CR12","first-page":"806","volume-title":"Lecture Notes in Computer Science 789","author":"A. Peron","year":"1994","unstructured":"Peron, A., Maggiolo-Schettini, A.: Transitions as Interrupts: A New Semantics for Timed Statecharts, Lecture Notes in Computer Science 789, Springer, Berlin, 1994, pp. 806\u2013821."},{"key":"4_CR13","first-page":"244","volume-title":"Lecture Notes in Computer Science 525","author":"A. Pnueli","year":"1991","unstructured":"Pnueli, A., Shalev, M.: What is in a Step: On the Semantics of Statecharts, Lecture Notes in Computer Science 525, Springer, 1991, Berlin, pp. 244\u2013464."},{"key":"4_CR14","first-page":"2","volume-title":"Lecture Notes in Computer Science 836","author":"A.C. Uselton","year":"1994","unstructured":"Uselton, A.C., Smolka,A.: A Compositional Semantics for Statecharts Using Labelled Transition Systems, Lecture Notes in Computer Science 836, Springer, 1994, Berlin, pp. 2\u201317."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61648-9_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:35:20Z","timestamp":1619573720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}