@InProceedings{sanchez08reaction,
  author = 	 {C\'{e}sar S\'{a}nchez and Matteo Slanina and Henny B. Sipma and Zohar Manna},
  title = 	 {The Reaction Algebra: A Formal Language for Event Correlation},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Pillars of Computer Science: Essays Dedicated to Boris (Boaz)
Trakhtenbrot on the Occasion of His 85th Birthday},
  pages = 	 {589--609},
  year = 	 {2008},
  editor = 	 {Arnon Avron andNachum Dershowitz and Alexander Rabinovich},
  volume = 	 {4800},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes in Computer Science},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Springer-Verlag},
  OPTnote = 	 {},
  OPTannote = 	 {}
}