DMCA

1 NON-INTERFERENCE PROPERTIES OF A CONCURRENT OBJECT-BASED LANGUAGE: PROOFS BASED ON AN OPERATIONAL SEMANTICS ABSTRACT

by S. J. Hodges , C. B. Jones