A Trace Semantics for Long-Running Transactions.

Michael J. Butler C. A. R. Hoare Carla Ferreira

Published in: 25 Years Communicating Sequential Processes (2004)

Keyphrases

long running
continuous queries
workflow management systems
low latency
database
data streams
real time
databases
data sets
data objects
query answering
concurrency control
stream processing