Login / Signup
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:
Theor. Comput. Sci. (1987)
Keyphrases
</>
finite sets
data streams
semantic information
formal semantics
logic programming
concurrency control
finite dimensional
real numbers
data sets
real time
multi stream
database systems
hidden markov models
conceptual model
finite automata
complete axiomatization