Processes and the Denotational Semantics of Concurrency

J. W. de Bakker Jeffery I. Zucker

Published in: Inf. Control. (1982)

Keyphrases

denotational semantics
programming language
operational semantics
database systems
query language
process model
concurrency control
database
high level
video sequences
preprocessing
query processing
general purpose