Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach.
Giuseppe De GiacomoXiao Jun ChenPublished in: AAAI/IAAI, Vol. 1 (1996)
Keyphrases
- concurrent actions
- process algebra
- model checking
- concurrent systems
- situation calculus
- formal specification
- asynchronous circuits
- finite state
- formal methods
- action language
- planning problems
- initial state
- web services composition
- description language
- communication protocols
- petri net
- temporal logic
- indirect effects
- modal logic
- service composition
- artificial intelligence
- web services
- event calculus
- distributed systems
- machine learning
- case study
- domain independent
- knowledge acquisition