Deprecated: this webpage is preserved for archival purposes. Please consider visiting the new Reo webpage.

Semantical Models


State Synchronisation Context dependency Data Time QoS
Port Automata X X
Constraint Automata X X X
Timed Constraint Automata X X X X
Network Transition Automata X X X X
Reo Automata X X X
Colouring Semantics X X
Intensional Automata X X X
Intensional Constraint Aut. X X X X
Quantative Intensional Aut. X X X X
Quantative Reo Automata X X X X