Concurrency Semantics in Continuation-Passing Style.

Eneia Nicolae Todoran Nikolaos Papaspyrou

Published in: Fundam. Informaticae (2017)

Keyphrases

logic programming
concurrency control
database
database systems
databases
formal semantics
description logics
data management
database management systems
semantic information
conceptual model
distributed databases
semantic representation
transformation rules
argumentation semantics
concurrent execution