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