A Ground-Complete Axiomatization of Finite State Processes in Process Algebra.
Jos C. M. BaetenMario BravettiPublished in: CONCUR (2005)
Keyphrases
- finite state
- model checking
- process algebra
- complete axiomatization
- temporal logic
- formal specification
- markov chain
- concurrent systems
- asynchronous circuits
- formal methods
- markov decision processes
- optimal policy
- database
- communication protocols
- petri net
- planning domains
- web services composition
- search algorithm
- reinforcement learning