A spatial logic for concurrency - II.

Luís Caires Luca Cardelli

Published in: Theor. Comput. Sci. (2004)

Keyphrases

spatial information
spatio temporal
spatial and temporal
spatial data
concurrency control
spatial temporal
computational properties
database systems
modal logic
multi valued
concurrent programming
logic programming
spatial databases
spatial relationships
formal theory