Reo

Reo is a channel-based exogenous coordination language.

Contact

For specific requests and comments related to this website, please email Roy Overbeek.

For more general inquiries related to Reo, CWI’s Formal Methods group is a good starting point.