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

© Copyright 2016-2017, Kasper Dokter. Revision 87a9df40.

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