Quantaloids for Concurrency.

Published in: Appl. Categorical Struct. (2001)

Keyphrases

concurrency control
database systems
fine grained
data flow
databases
nested transactions
computer vision
software engineering
transaction processing
real time systems
dynamic allocation