A logic-based, reactive calculus of events (2010)

by F Chesani, P Mello, M Montali, P Torroni
Venue:Fundamenta Informaticae