Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity.
Mila E. Majster-CederbaumJinzhao WuHouguang YueNaijun ZhanPublished in: ICFEM (2004)
Keyphrases
- concurrent systems
- real time
- temporal logic
- distributed systems
- process algebra
- transition systems
- low cost
- formal specification
- model checking
- control system
- real time systems
- human activities
- causal models
- high speed
- human actions
- petri net
- plan recognition
- knowledge management
- reasoning about actions
- multi agent
- bayesian networks
- case study