An Action Semantics for ML Concurrency Primitives.
Peter D. MossesMartin A. MusicantePublished in: FME (1994)
Keyphrases
- action descriptions
- maximum likelihood
- action theories
- speech acts
- action language
- concurrency control
- low level
- logic programming
- situation calculus
- high level
- formal semantics
- semantic information
- software systems
- knowledge representation
- spatio temporal
- initial state
- practical reasoning
- database systems
- concurrent execution
- data sets
- fluent calculus