Representation and Processing of Instantaneous and Durative Temporal Phenomena



Pitsikalis, Manolis, Lisitsa, Alexei and Luo, Shan ORCID: 0000-0003-4760-0372
(2022) Representation and Processing of Instantaneous and Durative Temporal Phenomena. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), 13290. 135 - 156.

[img] Text
2108.13365v1.pdf - OA Published Version

Download (254kB) | Preview
Item Type: Article
Uncontrolled Keywords: Event definition language, Temporal logic, Stream processing, Event recognition
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 26 May 2022 15:55
Last Modified: 26 May 2022 16:11
DOI: 10.1007/978-3-030-98869-2_8
Open Access URL: https://arxiv.org/pdf/2108.13365.pdf
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3155545