Skip to content

A Formal Basis for Correct Implementations of Distributed Programming Languages.

Horst F. Wedde

VenueAICDCS
Year1985
ProceedingsICDCS

Browse the full ICDCS paper archive.