Overview of classical and recent decidability and complexity results for networks of timed communicating automata

Prelegent(ci)

Lorenzo Clemente

Afiliacja

Uniwersytet Warszawski

Termin

10 października 2018 14:15

Pokój

p. 5050

Seminarium

Seminarium „Teoria automatów”

---

We present a journey into the study of timed communicating automata, a rich model of concurrency and communication incorporating timing features. We start from classic results for communicating automata (without time) giving intuitions on the basic techniques yielding decidability. We then move to the timed setting, pointing out why those techniques break and how to fix them. We conclude with recent results completely characterising the topologies yielding a decidable reachability problem in the general setting of timed channels. Based on joint work with F. Herbreteau, A. Stainer, and G. Sutre.

---