{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:30Z","timestamp":1725663630587},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540565031"},{"type":"electronic","value":"9783540475743"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56503-5_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:15:53Z","timestamp":1330254953000},"page":"418-427","source":"Crossref","is-referenced-by-count":0,"title":["Structured operational semantics for concurrency and hierarchy"],"prefix":"10.1007","author":[{"given":"Andrew C.","family":"Uselton","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"42_CR1","volume-title":"Technical Report CS-R8950","author":"R. Bol","year":"1990","unstructured":"R. Bol and J. F. Groote. The Meaning of Negative Premises in Transition System Specifications. Technical Report CS-R8950, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands, 1990."},{"key":"42_CR2","volume-title":"Technical Report CS-R8950","author":"J. F. Groote","year":"1989","unstructured":"J. F. Groote. Transition System Specifications with Negative Premises. Technical Report CS-R8950, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands, 1989. An extended abstract appeared in J.C.M. Baeten and J. W. Klop, editors, Proceedings of Concur90, LNCS 458, Amsterdam, 1990, Springer-Verlag."},{"key":"42_CR3","volume-title":"Technical Report CS-R8845","author":"J. F. Groote","year":"1988","unstructured":"J. F. Groote and F. W. Vaandrager. Structured Operational Semantics and Bisimulation as a Congruence. Technical Report CS-R8845, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands, 1988. An extended abstract appeared in G. Ausiello, M. Dezani-Ciancaglini and S. Ronchi Del, editors, Proceedings of ICALP 89, LNCS 372, Stresa, 1990, Springer-Verlag."},{"doi-asserted-by":"crossref","unstructured":"D. Harel. Statecharts: a visual formalism for complex systems. In Science of Computer Programing, 1987.","key":"42_CR4","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"42_CR5","volume-title":"13th CAAP, Lecture notes in Computer Science 299","author":"C. Huzing","year":"1988","unstructured":"C. Huzing, R. Gerth, and W. P. de Roever. Modeling statecharts behavior in a fully abstract way. In 13th CAAP, Lecture notes in Computer Science 299, Springer, Berlin, 1988."},{"unstructured":"D. Harel, A. Pnueli, J. P. Schmidt, and R. Sherman. On the formal semantics of statecharts. In Proc. 2nd IEEE Symposium on Logic in Computer Science, 1987.","key":"42_CR6"},{"unstructured":"R. Milner. Communication and Concurrency. Series in Computer Science, Prentice-Hall, 1989.","key":"42_CR7"},{"unstructured":"G. D. Plotkin. A Structural Approach To Operational Semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.","key":"42_CR8"}],"container-title":["Lecture Notes in Computer Science","STACS 93"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56503-5_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:53:12Z","timestamp":1619571192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56503-5_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540565031","9783540475743"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-56503-5_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}