On the Observational Semantics of Fair Parallelism.

Philippe Darondeau Laurent Kott

Published in: ICALP (1983)

Keyphrases

formal semantics
parallel computation
shared memory
multi unit combinatorial auctions
real time
parallel processing
logic programming
data sets
schema mappings
semantic information
case study
databases
transformation rules
parallel computers
parallel architectures
model theoretic
update semantics