Login / Signup
Formal semantics of extended hierarchical state transition matrix by CSP.
Yoriyuki Yamagata
Weiqiang Kong
Akira Fukuda
Nguyen Van Tang
Hitoshi Ohsaki
Kenji Taguchi
Published in:
ACM SIGSOFT Softw. Eng. Notes (2012)
Keyphrases
</>
formal semantics
transition matrix
first order logic
markov chain
constraint satisfaction problems
logical reasoning
owl dl ontology
state space
open source
formal language
logical language
theorem prover
modeling language