A logic-based calculus of events
New Generation Computing
Marek Sergot
Event Processing Under Uncertainty
Fine-Grained Access Control via Policy-Carrying Data
Specifying norm-governed computational societies