Sample Tempo models

The Tempo Language User Guide and Reference Manual includes number of Tempo models and their descriptions. We encurage all users to read this document in order to become better aquented with the TIOA model and its notation. In addition the manual includes a detailed description of the Tempo data types along with operators and examples of use.

Models and files

Tempo front-end requies all models to be saved in files with extention -- .tioa -- For example the Fischer's timed mutual exclusion algorithm algorithm Fischer.tioa. When loaded into Tempo toolkit this model looks like this.

Additional toy models

TODO ... we are compiling a set of sample toy examples that demonstrate use of the language ...