1. subtyping subtype SuccessoR A language for distributed computing derived from SR. ["SuccessoR: Refinements to SR", R. A. Olsson et al, TR 84-3, U Arizona 1984].
subtyping |
