Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting.
Paola InverardiMonica NesiPublished in: Theor. Comput. Sci. (1995)
Keyphrases
- finite state
- rewrite rules
- markov chain
- markov decision processes
- model checking
- context free
- facial expressions
- optimal policy
- natural language
- action sets
- transition systems
- tree automata
- average cost
- temporal logic
- vector quantizer
- bayesian networks
- conjunctive queries
- sufficient conditions
- data model
- continuous time markov process