The Reaction Algebra: A Formal Language for Event Correlation

César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna. The Reaction Algebra: A Formal Language for Event Correlation. In Arnon Avron, Nachum Dershowitz, Alexander Rabinovich, editors, Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Volume 4800 of Lecture Notes in Computer Science, pages 596-619, Springer, 2008. [doi]

@inproceedings{SanchezSSM08,
  title = {The Reaction Algebra: A Formal Language for Event Correlation},
  author = {César Sánchez and Matteo Slanina and Henny B. Sipma and Zohar Manna},
  year = {2008},
  doi = {10.1007/978-3-540-78127-1_33},
  url = {http://dx.doi.org/10.1007/978-3-540-78127-1_33},
  tags = { algebra},
  researchr = {https://researchr.org/publication/SanchezSSM08},
  cites = {0},
  citedby = {0},
  pages = {596-619},
  booktitle = {Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday},
  editor = {Arnon Avron and Nachum Dershowitz and Alexander Rabinovich},
  volume = {4800},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78126-4},
}