Semantics of Interference Control.

Robert D. Tennent

Published in: Theor. Comput. Sci. (1983)

Keyphrases

control system
control method
database
artificial intelligence
integrity constraints
optimal control
multipath
operational semantics