Adding Static Analysis to EventQL: Type Safety for Event Queries

Pyro: A toy language for temporal query modeling based on π-calculus