The DisCo Home Page

Distributed water tanks

An example of distributed water tanks was introduced in:

Mika Katara and Arto Luoma. Environment Modelling in Closed Specifications of Embedded Systems. In Bernd Kleinjohann, editor, Architecture and Design of Distributed Embedded Systems, proceedings of the IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), pages 141-150. Kluwer Academic Publishers, 2001.

The full specification is available here. Note that the specification includes constructs not yet included in the DisCo language.