Course description pdf

Allen and Ferguson. Actions and events in interval temporal logic. pdf

Baeten. A brief history of process algebra. pdf

Baeten and Basten. Partial-order process algebra. pdf

Balbo et al. Petri nets: Introductory Tutorial. pdf

van Glabbeek The linear time - branching time spectrum I. pdf

Grenon and Smith. SNAP and SPAN: Towards dynamic spatial ontology. pdf

Hoare. An axiomatic basis for computer programming. pdf

van Lambalgen. The event calculus. pdf

McCarthy and Hayes. Some philosophical problems from the standpoint of artificial intelligence. pdf

Milner. Elements of interaction. pdf

Shanahan. The event calculus explained. pdf

Shapiro. Propositional, first-order and higher-order logics. pdf

Worboys. From objects to events: modeling the dynamic world, 2003. pdf