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.

@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},
}