Programming in REJO

1 Introduction
2 REJO language
   2.1   REJO execution model
   2.2   REJO program structure
   2.3   Reactive methods /sem
   2.4   Atom instruction /sem
   2.5   Call instruction /sem
   2.6   Par instruction /sem
   2.7   Loop instruction /sem
   2.8   Repeat instruction /sem
   2.9   Reactive Variables
   2.10 If instruction /sem
   2.11 Events /sem
   2.12 Generate instruction /sem
   2.13 Wait instruction /sem
   2.14 When instruction /sem
   2.15 Until instruction /sem
   2.16 Control instruction /sem
   2.17 Local Instruction /sem
   2.18 Freezable instruction /sem
   2.19 Agents and Migration
3 Compilation & Execution
4 Three examples
   4.1 Counter
   4.2 Philosophers problem
   4.3 Inheritance