Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency.

J. W. de Bakker John-Jules Ch. Meyer Ernst-Rüdiger Olderog

Published in: ICALP (1985)

Keyphrases

finite sets
data streams
logic programming
real time
formal semantics
finite dimensional
programming language
semantic information
finite number
real numbers
databases
database systems
sliding window
concurrency control
transactional data
complete axiomatization