A coinductive calculus of streams.

Jan J. M. M. Rutten

Published in: Math. Struct. Comput. Sci. (2005)

Keyphrases

data streams
real time
sliding window
streaming data
multi stream
data sets
computer algebra
information systems
web services
case study
data structure
continuous queries
stream processing
algebraic structure
provably correct
social awareness