Toward a Grainless Semantics for Shared-Variable Concurrency.
John C. ReynoldsPublished in: FSTTCS (2004)
Keyphrases
- formal semantics
- logic programming
- model theoretic
- concurrency control
- semantic information
- real time
- operational semantics
- databases
- distributed systems
- multi agent systems
- database systems
- high level
- conceptual graphs
- default reasoning
- artificial intelligence
- semantic representation
- database
- nested transactions
- dynamic allocation