Bisimulation Semantics for Concurrency with Atomicity and Action Refinement.
J. W. de BakkerErik P. de VinkPublished in: Fundam. Informaticae (1994)
Keyphrases
- nested transactions
- correctness criterion
- transaction processing
- concurrency control
- action descriptions
- action language
- logic programming
- formal semantics
- fluent calculus
- action theories
- human actions
- situation calculus
- database systems
- semantic information
- electronic commerce
- programming language
- communicative acts
- acid properties
- transaction management
- concurrent execution
- reasoning about actions
- multidatabase systems
- conceptual model
- object oriented