Reo Coordination Language dating history

Reo Coordination Language is a member of the following lists: Programming languages created in 2001, Models of computation and Model checking.

Contribute

Who is Reo Coordination Language dating? Reo Coordination Language partner, spouse list. Help us build our profile of Reo Coordination Language! Login to add information, pictures and relationships, join in discussions and get credit for your contributions.

Details

Reo is a domain-specific language for programming and analyzing coordination protocols that compose individual processes into full systems, broadly construed. Examples of classes of systems that can be composed with Reo include component-based systems, service-oriented systems, multithreading systems, biological systems, and cryptographic protocols. Reo has a graphical syntax in which every Reo program, called a connector or circuit, is a labeled directed hypergraph. Such a graph represents the data-flow among the processes in the system. Reo has formal semantics, which stand at the basis of its various formal verification techniques and compilation tools.