An Introduction to Assertional Reasoning for Concurrent Systems.
A. Udaya ShankarPublished in: ACM Comput. Surv. (1993)
Keyphrases
- concurrent systems
- temporal logic
- process algebra
- distributed systems
- petri net
- model checking
- transition systems
- formal specification
- probabilistic knowledge
- expressive description logics
- knowledge representation
- model based reasoning
- reasoning systems
- knowledge base
- reasoning tasks
- reasoning mechanisms
- probabilistic reasoning
- reasoning process
- automated reasoning
- qualitative reasoning