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 »
  • Search

© Copyright 2016-2017, Kasper Dokter. Revision 04215661.

Built with Sphinx using a theme provided by Read the Docs.