Reo
Installation
Introduction
A simple concurrent program
Analysis
Reo protocols
Compilation
Tutorial
Components and interfaces
1. Reference to Java source code
2. Definition via externally observable behavior
3. Composite components
Predicates
Terms
Sections and Imports
Library of components
1. Atomic components
Sync
Fifo1
Syncdrain
Lossysync
Filter
2. Connector components
Regulatorwwr
Barrier
Alternator
Circulator
Ovflfifo
Regulatorwrr
Seqp
Seqc
Shiftlossyfifo
Variable
Xrouter
3. Boundary components
3.1 Java
3.2 Promela
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
Read the Docs
v: latest
Versions
latest
stable
Downloads
pdf
html
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.