{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:28Z","timestamp":1725467428691},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540612285"},{"type":"electronic","value":"9783540683889"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61228-9_82","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T10:17:05Z","timestamp":1153131425000},"page":"107-121","source":"Crossref","is-referenced-by-count":10,"title":["A graph rewriting framework for Statecharts semantics"],"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,9,7]]},"reference":[{"key":"8_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":"8_CR2","first-page":"104","volume":"776","author":"A. Corradini","year":"1994","unstructured":"Corradini, A., Ehrig, H., L\u00f6ewe, M., Montanari, U., Rossi, F.: Note on Standard Representation of Graphs and Graph Derivations, Springer LNCS 776, 1994, pp. 104\u2013118.","journal-title":"Springer LNCS"},{"key":"8_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":"8_CR4","first-page":"54","volume-title":"On the Formal Semantics of Statecharts","author":"D. Harel","year":"1987","unstructured":"Harel, D., Pnueli, A., Schmidt, J., Schmidt, 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":"8_CR5","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF02088293","volume":"22","author":"D. Janssens","year":"1989","unstructured":"Janssens, D., Rozenberg, G.: Actor Grammars, Mathematical Systems Theory 22 (1989), pp. 75\u2013107.","journal-title":"Mathematical Systems Theory"},{"key":"8_CR6","first-page":"265","volume":"776","author":"A. Maggiolo-Schettini","year":"1994","unstructured":"Maggiolo-Schettini, A., Peron, A.: Semantics of Full Statecharts Based on Graph Rewriting, Springer LNCS 776, 1994, pp. 265\u2013279.","journal-title":"Springer LNCS"},{"key":"8_CR7","first-page":"806","volume":"789","author":"A. Peron","year":"1994","unstructured":"Peron, A., Maggiolo-Schettini, A.: Transitions as Interrupts: A New Semantics for Timed Statecharts, Springer LNCS 789, 1994, pp. 806\u2013821.","journal-title":"Springer LNCS"},{"key":"8_CR8","first-page":"326","volume":"776","author":"G. Schied","year":"1994","unstructured":"Schied, G.: On Relating Rewriting Systems and Graph Grammars to Event Structures, Springer LNCS 776, 1994, pp. 326\u2013340.","journal-title":"Springer LNCS"},{"key":"8_CR9","first-page":"364","volume":"354","author":"G. Winskel","year":"1989","unstructured":"Winskel, G.: An Introduction to Event Structures, Springer LNCS 354, 1989, pp. 364\u2013397.","journal-title":"Springer LNCS"}],"container-title":["Lecture Notes in Computer Science","Graph Grammars and Their Application to Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61228-9_82","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T06:41:19Z","timestamp":1549435279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61228-9_82"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612285","9783540683889"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-61228-9_82","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}