Abstraction of polychronous dataflow specifications into mode-automata.
Julien OuyMatthew KrachtSandeep K. ShuklaPublished in: ICSAMOS (2013)
Keyphrases
- control flow
- high level
- finite state machines
- bounded model checking
- data flow
- cellular automata
- formal specification
- parallel computing
- delay insensitive
- regular expressions
- data abstraction
- design methodology
- finite automata
- software testing
- lattice gas
- finite state
- tree automata
- parallel execution
- specification language
- pattern matching