A look at concurrency semantics through "lattice glasses".

Leonid Ya. Rosenblum Alexandre Yakovlev Vladimir Yakovlev

Published in: Bull. EATCS (1989)

Keyphrases

logic programming
concurrency control
formal semantics
semantic information
boolean algebra
lattice points
lattice structure
transaction processing
knowledge representation
distributed databases
viewpoint
illumination conditions
database systems
web services
data sets
real time
database