Semantics of Interference Control

Abstract An approach to syntactic control of interference described by Reynolds (1978) is shown to be sound using a denotational semantic model.