{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T14:52:00Z","timestamp":1791211920420,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540291893","type":"print"},{"value":"9783540320845","type":"electronic"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11562436_39","type":"book-chapter","created":{"date-parts":[[2005,10,19]],"date-time":"2005-10-19T09:40:51Z","timestamp":1129714851000},"page":"529-532","source":"Crossref","is-referenced-by-count":10,"title":["Expressive Completeness of an Event-Pattern Reactive Programming Language"],"prefix":"10.1007","author":[{"given":"C\u00e9sar","family":"S\u00e1nchez","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matteo","family":"Slanina","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Henny B.","family":"Sipma","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zohar","family":"Manna","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"39_CR1","volume-title":"Introduction to automata theory, languages and computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages and computation. Addison-Wesley, Reading (1979)"},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"Pietzuch, P.R., Shand, B., Bacon, J.: Composite event detection as a generic middleware extension. IEEE Network\u00a018(1) (2004)","DOI":"10.1109\/MNET.2004.1265833"},{"key":"39_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-540-45212-6_21","volume-title":"Embedded Software","author":"C. S\u00e1nchez","year":"2003","unstructured":"S\u00e1nchez, C., Sankaranarayanan, S., Sipma, H.B., Zhang, T., Dill, D.L., Manna, Z.: Event correlation: Language and semantics. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 323\u2013339. Springer, Heidelberg (2003)"},{"key":"39_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/11548133_23","volume-title":"Algebra and Coalgebra in Computer Science","author":"C. S\u00e1nchez","year":"2005","unstructured":"S\u00e1nchez, C., Sipma, H.B., S\u0142anina, M., Manna, Z.: Final semantics for event-pattern reactive programs. In: Fiadeiro, J.L., Harman, N.A., Roggenbach, M., Rutten, J. (eds.) CALCO 2005. LNCS, vol.\u00a03629, pp. 364\u2013378. Springer, Heidelberg (2005)"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"S\u00e1nchez, C., Slanina, M., Sipma, H.B., Manna, Z.: Expressive completeness of an event-pattern reactive programming language, Stanford CS REACT Technical Report (2005), http:\/\/Theory.Stanford.EDU\/~cesar\/papers\/completeness.html","DOI":"10.1007\/11562436_39"},{"key":"39_CR6","unstructured":"Segall, B., Arnold, S.: Elvin has left the building: A publish\/subscribe notification service with quenching. In: Queensland AUUG Summer Tech. Conf. (1997)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11562436_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T10:40:23Z","timestamp":1586515223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11562436_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291893","9783540320845"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/11562436_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}