Automata and fixpoints for asynchronous hyperproperties.
Jens Oliver GutsfeldMarkus Müller-OlmChristoph OhremPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- cellular automata
- fixpoint
- logic programs
- finite automata
- finite state machines
- nonmonotonic reasoning
- deductive databases
- databases
- decision trees
- probabilistic automata
- state machines
- finite state
- regular expressions
- asynchronous communication
- natural language
- discussion groups
- database systems
- lattice gas
- asynchronous cellular automata