Explanatory denotational semantics for complex event patterns

DOI10.1145/3608486MaRDI QIDQ7028288zbMATH OpenFDO

Authors Bartosz Zieliński

Publication date 12 February 2025

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3608486

zbMATH Keywords

denotational semanticsevent processingquery languagevariable binding and scope

Mathematics Subject Classification ID

Database theory (68P15) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Cites work

• A Formal Framework for Complex Event Processing
• A new deductive approach to planning
• Dynamic predicate logic
• scientific article; zbMATH DE number 4053008 (Why is no real title available?)
• scientific article; zbMATH DE number 1945868 (Why is no real title available?)
• On the Expressiveness of Languages for Complex Event Recognition
• Programming and symbolic computation in Maude
• Symbolic execution and program testing
• Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
• Term Rewriting and All That

Cited in

(1)

• Reasoning over streams of events with delayed effects

This page was built for publication: Explanatory denotational semantics for complex event patterns

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