Automata, Concurrency and Timed Systems (ACTS) II

Chennai Mathematical Institute, February 1–3, 2010



ACTS II is envisioned as a follow-up to the ACTS workshop held in CMI in January 2009.

The main theme of the workshop is the use of logic and automata for modelling and verifying distributed, open and timed systems.