A Semantics for Disciplined Concurrency in COP.

Matteo Busi Pierpaolo Degano Letterio Galletta

Published in: ICTCS (2016)

Keyphrases

formal semantics
logic programming
real time
database systems
default reasoning
semantic information
databases
virtual communities
model theoretic
transaction processing
concurrency control
conceptual model
fine grained
relational databases
multi agent
high level
information systems