A spatial logic for concurrency (part I).

Luís Caires Luca Cardelli

Published in: Inf. Comput. (2003)

Keyphrases

spatio temporal
spatial data
spatial information
classical logic
database systems
spatial and temporal
spatial distribution
dynamic allocation
real time
spatial frequency
geographic information systems
deductive databases
lecture notes
spatial databases
modal logic
concurrency control
logic programming