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.
A simple clock synchronization
MPI send and receive
A simple send receive system over MPI channels.