Category: Workshops


The DOTS project (Distributed Open Timed Systems), funded by the French National Agency for Research, is focused on the combinations of three aspects of concurrent systems:

While these features are rather well understood when considered separately, there remain challenging issues in their combinations. The aim of the DOTS project was precisely to develop verification and control methods for such systems. The main techniques involved in this project are based on games and partial orders.

The purpose of this workshop is to gather researchers interested in modeling and analysis of concurrent systems featuring at least two of the above aspects. Relevant topics include, but are not limited to:

Current Workshop

International Workshop on Distributed Open Timed Systems (DOTS'10) is organized by the DOTS project.