{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:19:09Z","timestamp":1725560349795},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540286202"},{"type":"electronic","value":"9783540318767"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11548133_23","type":"book-chapter","created":{"date-parts":[[2010,7,21]],"date-time":"2010-07-21T20:07:40Z","timestamp":1279742860000},"page":"364-378","source":"Crossref","is-referenced-by-count":5,"title":["Final Semantics for Event-Pattern Reactive Programs"],"prefix":"10.1007","author":[{"given":"C\u00e9sar","family":"S\u00e1nchez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henny B.","family":"Sipma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Slanina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zohar","family":"Manna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Aguilera, M.K., Strom, R.E., Sturman, D.C., Astley, M., Chandra, T.D.: Matching events in a content-based subscription system. In: Symposium on Principles of Distributed Computing, pp. 53\u201361 (1999)","DOI":"10.1145\/301308.301326"},{"key":"23_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511608841","volume-title":"Process Algebra","author":"J.C.M. Baeten","year":"1990","unstructured":"Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge University Press, Cambridge (1990)"},{"issue":"3","key":"23_CR3","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/380749.380767","volume":"19","author":"A. Carzaniga","year":"2001","unstructured":"Carzaniga, A., Rosenblum, D.S., Wolf, A.L.: Design and evaluation of a wide-area event notification service. ACM Transactions on Computer Systems\u00a019(3), 332\u2013383 (2001)","journal-title":"ACM Transactions on Computer Systems"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"C\u00eerstea, C.: Semantic constructions from the specification of objects. Theoretical Computer Science\u00a0260 (2001)","DOI":"10.1016\/S0304-3975(00)00120-1"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Goguen, J., Malcolm, G.: A hidden agenda. Theoretical Computer Science\u00a0245(1) (2000)","DOI":"10.1016\/S0304-3975(99)00275-3"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Goldin, D.Q.: Persistent Turing Machines as a model of interactive computation. In: Foundations of Information and Knowledge Systems, Burg, Germany, February 2000, pp. 116\u2013135 (2000)","DOI":"10.1007\/3-540-46564-2_8"},{"issue":"1","key":"23_CR7","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. Journal of the Association for Computer Machinery\u00a032(1), 137\u2013161 (1985)","journal-title":"Journal of the Association for Computer Machinery"},{"key":"23_CR8","volume-title":"Communicating Sequential Processes","author":"C. Antony","year":"1985","unstructured":"Antony, C., Hoare, R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"23_CR9","unstructured":"Hunleth, F., Cytron, R., Gill, C.: Building customizable middleware using aspect oriented programming. In: Workshop on Advanced Separation of Concerns (OOPSLA 2001) (2001)"},{"key":"23_CR10","first-page":"222","volume":"62","author":"B. Jacobs","year":"1997","unstructured":"Jacobs, B., Rutten, J.J.M.M.: A tutorial on (co)algebras and (co)induction. Bulletin of the European Association for Theoretical Computer Science\u00a062, 222\u2013259 (1997)","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"23_CR11","first-page":"3","volume-title":"Automata Studies","author":"S.C. Kleene","year":"1956","unstructured":"Kleene, S.C.: Representation of events in nerve nets and finite automata. In: Shannon, C.E., McCarthy, J. (eds.) Automata Studies, vol.\u00a0(34), pp. 3\u201341. Princeton University Press, Princeton (1956)"},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1109\/TEC.1960.5221603","volume":"9","author":"R.F. McNaughtonand","year":"1960","unstructured":"McNaughtonand, R.F., Yamada, H.: Regular expressions and state graphs for automata. IEEE Transactions on Electronic Computers\u00a09, 39\u201347 (1960)","journal-title":"IEEE Transactions on Electronic Computers"},{"key":"23_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"23_CR14","unstructured":"Ro\u015fu, G.: Hidden Logic. PhD thesis, University of California at San Diego (2000)"},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/BFb0055624","volume-title":"CONCUR \u201998 Concurrency Theory","author":"J.J.M.M. Rutten","year":"1998","unstructured":"Rutten, J.J.M.M.: Automata and coinduction (an exercise in coalgebra). In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 194\u2013218. Springer, Heidelberg (1998)"},{"key":"23_CR16","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., 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":"23_CR17","unstructured":"S\u00e1nchez, C., Slanina, M., Sipma, H.B., Manna, Z.: Expressive completeness of an event-pattern reactive programming language (submitted for publication)"},{"key":"23_CR18","unstructured":"Schmidt, D.C., Levine, D.L., Harrison, T.H.: The design and performance of a real-time CORBA object event service. In: Proc. of OOPSLA 1997 (1997)"},{"key":"23_CR19","unstructured":"Segall, B., Arnold, D.: Elvin has left the building: A publish\/subscribe notification service with quenching. In: Queensland AUUG Summer Technical Conference, Brisbane, Australia (1997)"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Sharp, D.: Reducing avionics software cost through component based product line development. In: Proc. of the Software Technology Conference (1998)","DOI":"10.1109\/DASC.1998.739846"}],"container-title":["Lecture Notes in Computer Science","Algebra and Coalgebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11548133_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:40:45Z","timestamp":1605642045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11548133_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540286202","9783540318767"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11548133_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}