Finite-state concurrent programs can be expressed succinctly in triple normal form.
Paul C. AttiePublished in: Inf. Process. Lett. (2017)
Keyphrases
- normal form
- finite state
- concurrent programs
- model checking
- process algebra
- markov chain
- database design
- relational databases
- markov decision processes
- functional dependencies
- relational algebra
- nested relations
- concurrent programming
- temporal logic
- optimal policy
- formal specification
- web applications
- concurrent systems
- concurrent processes
- programming language
- set of functional dependencies
- knowledge base