A resource-efficient event algebra

DOI10.1016/J.SCICO.2010.06.010MaRDI QIDQ608343zbMATH OpenOpenAlexWikidataFDO

Authors Jan Carlson, Björn Lisper

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

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

Recommendations

• Formal Modeling and Analysis of Timed Systems
• Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
• The Reaction Algebra: A Formal Language for Event Correlation
• scientific article; zbMATH DE number 2080465
• An algebraic semantics of event-based architectures

Cites work

• A logic-based calculus of events
• Actions and Events in Interval Temporal Logic
• Algebra and Coalgebra in Computer Science
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 1945868 (Why is no real title available?)

Cited in

(7)

• Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
• A Formal Framework for Complex Event Processing
• An algebraic semantics of event-based architectures
• The Reaction Algebra: A Formal Language for Event Correlation
• Conditionals, Information, and Inference
• scientific article; zbMATH DE number 3415828 (Why is no real title available?)
• Formal Modeling and Analysis of Timed Systems

Describes a project that uses

Uses Software

• Snoop

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q608343)