Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach.
Xiao Jun ChenGiuseppe De GiacomoPublished in: Artif. Intell. (1999)
Keyphrases
- concurrent actions
- process algebra
- model checking
- situation calculus
- concurrent systems
- formal specification
- asynchronous circuits
- formal methods
- finite state
- initial state
- planning problems
- action language
- description language
- communication protocols
- web services composition
- temporal logic
- petri net
- indirect effects
- distributed systems
- event calculus
- case study
- action theories
- general purpose
- answer set programming
- reasoning about actions
- formal languages