Programming deterministic reactive systems with Synchronous Java.
Christian MotikaReinhard von HanxledenMirko HeinoldPublished in: ISORC (2013)
Keyphrases
- reactive systems
- temporal logic
- model checking
- programming language
- information flow
- petri net
- formal methods
- control flow
- object oriented
- asynchronous communication
- open source
- real time systems
- database applications
- development environment
- black box
- state machines
- training set
- object oriented programming
- data flow
- databases
- knowledge based systems
- source code
- relational databases
- java programming