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. 1-22 1995 Object Orientation with Parallelism and Persistence db/conf/dagstuhl/oopp95.html#HodgesJ95