Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics

Steve J. Hodges, Cliff B. Jones. Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics. In Object Orientation with Parallelism and Persistence. pages 1-22, 1995.

Abstract

Abstract is missing.