Horst Wedde. A Formal Basis for Correct Implementations of Distributed Programming Languages. In ICDCS. pages 476-485, 1985.
@inproceedings{Wedde85, title = {A Formal Basis for Correct Implementations of Distributed Programming Languages}, author = {Horst Wedde}, year = {1985}, tags = {programming languages, programming}, researchr = {https://researchr.org/publication/Wedde85}, cites = {0}, citedby = {0}, pages = {476-485}, booktitle = {ICDCS}, }