Denotational Semantics of Concurrency

J. W. de Bakker Jeffery I. Zucker

Published in: STOC (1982)

Keyphrases

denotational semantics
programming language
concurrency control
query language
database systems
operational semantics
abstract data types
transaction processing
database
object oriented databases
high level
data streams
general purpose
database management systems
database design