Using the event calculus to reason about problem diagrams.

Andreas Classen, Robin C. Laney, Thein Than Tun, Patrick Heymans, Arnaud Hubaux

Browse the full ICSE paper archive.