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

A simple clock synchronization system for a network setting over MPI channels and over TCP channels.

Paxos

We provide two versions of Paxos, one over MPI channels and another over TCP channels.

MPI send and receive

A simple send receive system over MPI channels.