### Table 2. Denotational semantics for the imperative object calculus

2002

Cited by 6

### Table 4. Syntax of the concurrent object calculus

### Table 1: Semantics of Calculus Objects

### Table 4 Translation from a calculus with object locks to the core calculus

### Table 3: Translation from object locks to core calculus.

1999

"... In PAGE 11: ... Object locks can be expressed in the core language. Table3 gives an inductive de nition of an encoding of object locks. The term P is translated into the core language term [[ P ]] L`S where we have chosen a key `S that does not occur free in P .... ..."

Cited by 3