Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency.

Job Zwiers Willem P. de Roever

Published in: PODC (1989)

Keyphrases

database systems
user defined
theoretical framework
general theory
databases
theoretical basis
formal theory
artificial intelligence
case study
multi agent systems
logic programming
first order logic
concurrency control
unified model
datalog programs