Ohua: Implicit Dataflow Programming for Concurrent Systems.
Sebastian ErtelChristof FetzerPascal FelberPublished in: PPPJ (2015)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- process algebra
- petri net
- transition systems
- formal specification
- model checking
- programming language
- parallel computing
- high level language
- programming environment
- control flow
- computer programming
- artificial intelligence
- object oriented programming
- reactive systems
- neural network
- development environment
- data flow
- multi agent systems
- high level
- graph transformation