Towards Action Refinement for Concurrent Systems with Causal Ambiguity.
Jinzhao WuHouguang YuePublished in: SEFM (2004)
Keyphrases
- concurrent systems
- transition systems
- distributed systems
- temporal logic
- process algebra
- model checking
- causal knowledge
- petri net
- indirect effects
- formal specification
- bayesian networks
- causal reasoning
- causal networks
- causal relations
- practical reasoning
- information systems
- causal models
- situation calculus
- human actions