Logic of Global Synchrony.

Yifeng Chen Jeff W. Sanders

Published in: CONCUR (2001)

Keyphrases

modal logic
global information
logic programming
computational properties
abductive reasoning
data sets
databases
decision making
audio visual
truth values