Keyphrases
- concurrent programs
- source code
- concurrency control
- formal model
- reinforcement learning
- formal specification
- qualitative reasoning
- spatial reasoning
- concurrent actions
- mutual exclusion
- error correcting
- mathematical theory
- formal methods
- databases
- model checking
- formal theory
- object oriented
- high level
- concurrent programming
- genetic algorithm