The Reaction Algebra: A Formal Language for Event Correlation

1. Aguilera, M.K., et al.: Matching events in a content-based subscription system. In: Symposium on Principles of Distributed Computing, pp. 53–61 (1999)

   Google Scholar 

2. Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge University Press, Cambridge (1990)

   Google Scholar 

3. Berry, G.: Proof, language, and interaction: essays in honour of Robin Milner. In: The foundations of Esterel, pp. 425–454. MIT Press, Cambridge (2000)

   Google Scholar 

4. Carzaniga, A., Rosenblum, D.S., Wolf, A.L.: Design and evaluation of a wide-area event notification service. ACM Transactions on Computer Systems 19(3), 332–383 (2001)

   Article  Google Scholar 

5. Conway, J.H.: Regular algebra and finite machines. Chapman and Hall, Boca Raton (1971)

   MATH  Google Scholar 

6. Goldin, D., Smolka, S.A., Wegner, P. (eds.): Interactive Computation: the New Paradigm. Springer, Heidelberg (2006)

   MATH  Google Scholar 

7. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)

   Article  MATH  MathSciNet  Google Scholar 

8. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)

   MATH  Google Scholar 

9. Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages and computation. Addison-Wesley, Reading (1979)

   MATH  Google Scholar 

10. Hunleth, F., Cytron, R., Gill, C.D.: Building customizable middleware using aspect oriented programming. In: Works. on Advanced Separation of Concerns (OOPSLA 2001) (2001)

    Google Scholar 

11. Kleene, S.C.: Representation of events in nerve nets and finite automata. In: Shannon, C.E., McCarthy, J. (eds.) Automata Studies, vol. 34, pp. 3–41. Princeton University Press, Princeton (1956)

    Google Scholar 

12. Kozen, D.: A completeness theorem for kleene algebras and the algebra of regular events. Information and Computation 110(2), 366–390 (1994)

    Article  MATH  MathSciNet  Google Scholar 

13. Lynch, N., Tuttle, M.: An introduction to Input/Output automata. CWI-Quarterly 2(3) (1989)

    Google Scholar 

14. McNaughton, R.F., Yamada, H.: Regular expressions and state graphs for automata. IEEE Transactions on Electronic Computers 9, 39–47 (1960)

    Article  Google Scholar 

15. Mealy, G.H.: A method for synthesizing sequential circuits. Bell Systems Technical Journal 34(5), 1045–1079 (1955)

    MathSciNet  Google Scholar 

16. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)

    MATH  Google Scholar 

17. Moore, E.F.: Gedanken-Experiments on sequential machines. In: Automata Studies, pp. 129–153 (1956)

    Google Scholar 

18. Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)

    Google Scholar 

19. Rutten, J.J.: Automata and coinduction (an exercise in coalgebra). In: CONCUR (1998)

    Google Scholar 

20. Salomaa, A.: Two complete axiom systems for the algebra of regular events. Journal of the ACM 13(1), 158–169 (1966)

    Article  MATH  MathSciNet  Google Scholar 

21. Sánchez, C., et al.: Event correlation: Language and semantics. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol. 2855, pp. 323–339. Springer, Heidelberg (2003)

    Google Scholar 

22. Sánchez, C., et al.: Final semantics for Event-Pattern Reactive Programs. In: Fiadeiro, J.L., et al. (eds.) CALCO 2005. LNCS, vol. 3629, pp. 364–378. Springer, Heidelberg (2005)

    Google Scholar 

23. Sánchez, C., et al.: Expressive completeness of an event-pattern reactive programming language. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 529–532. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

24. Schmidt, D., Levine, D., Harrison, T.: The design and performance of a real-time CORBA object event service. In: Proc. of OOPSLA (1997)

    Google Scholar 

25. 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)

    Google Scholar 

26. Tardieu, O.: A deterministic logical semantics for Esterel. In: Workshop on Structural Operational Semantics, SOS (2004)

    Google Scholar 

Download references