A Formal Basis for Correct Implementations of Distributed Programming Languages

Horst Wedde. A Formal Basis for Correct Implementations of Distributed Programming Languages. In ICDCS. pages 476-485, 1985.

Abstract

Abstract is missing.