Reo
Installation
Introduction
A simple concurrent program
Analysis
Reo protocols
Compilation
Tutorial
Components and interfaces
1. Reference to Java source code
2. Definition of formal semantics
3. Definition as composition
Predicates
Terms
Sections and Imports
Contribute
Clone the repository
Build the project
Documentation by Javadoc
Setting up Eclipse
Adding new semantics to the compiler
Future work
References
Reo
Docs
»
Index
Edit on GitHub
Index