A resource-efficient event algebra

DOI10.1016/j.scico.2010.06.010zbMath1211.68148OpenAlexW2156201847WikidataQ114850290 ScholiaQ114850290MaRDI QIDQ608343

Björn Lisper, Jan Carlson

Publication date: 25 November 2010

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2010.06.010

zbMATH Keywords

embedded systemsevent detectionevent notification

Mathematics Subject Classification ID

Database theory (68P15) Mathematical problems of computer architecture (68M07) General theory of computer systems (68M01)

Related Items (1)

A Formal Framework for Complex Event Processing

Uses Software

• Snoop

Cites Work

• Unnamed Item
• A logic-based calculus of events
• Actions and Events in Interval Temporal Logic
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Algebra and Coalgebra in Computer Science

This page was built for publication: A resource-efficient event algebra