An interval-based algebra for restricted event detection

DOI10.1007/978-3-540-40903-8_10MaRDI QIDQ5717489zbMATH OpenOpenAlexFDO

Authors Jan Carlson, Björn Lisper

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b12025

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A resource-efficient event algebra
• Towards an algebra for real-time programs
• Expressiveness issues and decision problems for active database event queries
• Cluster forming interval sub-algebras
• scientific article; zbMATH DE number 1406019

Cited in

(2)

• Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
• A resource-efficient event algebra

This page was built for publication: An interval-based algebra for restricted event detection

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