{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,10]],"date-time":"2026-11-10T23:29:36Z","timestamp":1794353376945,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540781264","type":"print"},{"value":"9783540781271","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78127-1_33","type":"book-chapter","created":{"date-parts":[[2008,2,7]],"date-time":"2008-02-07T07:59:40Z","timestamp":1202371180000},"page":"596-619","source":"Crossref","is-referenced-by-count":3,"title":["The Reaction Algebra: A Formal Language for Event Correlation"],"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":"33_CR1","doi-asserted-by":"crossref","unstructured":"Aguilera, M.K., et al.: 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":"33_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624193","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)"},{"key":"33_CR3","first-page":"425","volume-title":"The foundations of Esterel","author":"G. Berry","year":"2000","unstructured":"Berry, G.: Proof, language, and interaction: essays in honour of Robin Milner. In: The foundations of Esterel, pp. 425\u2013454. MIT Press, Cambridge (2000)"},{"issue":"3","key":"33_CR4","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":"33_CR5","volume-title":"Regular algebra and finite machines","author":"J.H. Conway","year":"1971","unstructured":"Conway, J.H.: Regular algebra and finite machines. Chapman and Hall, Boca Raton (1971)"},{"key":"33_CR6","volume-title":"Interactive Computation: the New Paradigm","year":"2006","unstructured":"Goldin, D., Smolka, S.A., Wegner, P. (eds.): Interactive Computation: the New Paradigm. Springer, Heidelberg (2006)"},{"issue":"3","key":"33_CR7","doi-asserted-by":"publisher","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\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"33_CR8","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"33_CR9","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":"33_CR10","unstructured":"Hunleth, F., Cytron, R., Gill, C.D.: Building customizable middleware using aspect oriented programming. In: Works. on Advanced Separation of Concerns (OOPSLA 2001) (2001)"},{"key":"33_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.\u00a034, pp. 3\u201341. Princeton University Press, Princeton (1956)"},{"issue":"2","key":"33_CR12","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1006\/inco.1994.1037","volume":"110","author":"D. Kozen","year":"1994","unstructured":"Kozen, D.: A completeness theorem for kleene algebras and the algebra of regular events. Information and Computation\u00a0110(2), 366\u2013390 (1994)","journal-title":"Information and Computation"},{"key":"33_CR13","unstructured":"Lynch, N., Tuttle, M.: An introduction to Input\/Output automata. CWI-Quarterly\u00a02(3) (1989)"},{"key":"33_CR14","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1109\/TEC.1960.5221603","volume":"9","author":"R.F. McNaughton","year":"1960","unstructured":"McNaughton, 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"},{"issue":"5","key":"33_CR15","doi-asserted-by":"crossref","first-page":"1045","DOI":"10.1002\/j.1538-7305.1955.tb03788.x","volume":"34","author":"G.H. Mealy","year":"1955","unstructured":"Mealy, G.H.: A method for synthesizing sequential circuits. Bell Systems Technical Journal\u00a034(5), 1045\u20131079 (1955)","journal-title":"Bell Systems Technical Journal"},{"key":"33_CR16","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"33_CR17","doi-asserted-by":"crossref","unstructured":"Moore, E.F.: Gedanken-Experiments on sequential machines. In: Automata Studies, pp. 129\u2013153 (1956)","DOI":"10.1515\/9781400882618-006"},{"key":"33_CR18","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)"},{"key":"33_CR19","doi-asserted-by":"crossref","unstructured":"Rutten, J.J.: Automata and coinduction (an exercise in coalgebra). In: CONCUR (1998)","DOI":"10.1007\/BFb0055624"},{"issue":"1","key":"33_CR20","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1145\/321312.321326","volume":"13","author":"A. Salomaa","year":"1966","unstructured":"Salomaa, A.: Two complete axiom systems for the algebra of regular events. Journal of the ACM\u00a013(1), 158\u2013169 (1966)","journal-title":"Journal of the ACM"},{"key":"33_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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., et al.: Event correlation: Language and semantics. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 323\u2013339. Springer, Heidelberg (2003)"},{"key":"33_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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., et al.: Final semantics for Event-Pattern Reactive Programs. In: Fiadeiro, J.L., et al. (eds.) CALCO 2005. LNCS, vol.\u00a03629, pp. 364\u2013378. Springer, Heidelberg (2005)"},{"key":"33_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/11562436_39","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"C. S\u00e1nchez","year":"2005","unstructured":"S\u00e1nchez, C., et al.: Expressive completeness of an event-pattern reactive programming language. In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 529\u2013532. Springer, Heidelberg (2005)"},{"key":"33_CR24","unstructured":"Schmidt, D., Levine, D., Harrison, T.: The design and performance of a real-time CORBA object event service. In: Proc. of OOPSLA (1997)"},{"key":"33_CR25","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":"33_CR26","unstructured":"Tardieu, O.: A deterministic logical semantics for Esterel. In: Workshop on Structural Operational Semantics, SOS (2004)"}],"container-title":["Lecture Notes in Computer Science","Pillars of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78127-1_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,3]],"date-time":"2021-09-03T20:10:24Z","timestamp":1630699824000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78127-1_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540781264","9783540781271"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78127-1_33","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-540-78127-1","asserted-by":"object"}]},"subject":[]}}