Toward Languages and Formal Systems for Distributed Computing

Mario Tokoro, Kazunori Takashio. Toward Languages and Formal Systems for Distributed Computing. In Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill, editors, Object-Based Distributed Programming, ECOOP 93 Workshop, Kaiserslautern, Germany, July 26-27, 1993. Volume 791 of Lecture Notes in Computer Science, pages 93-110, Springer, 1993.

@inproceedings{TokoroT93,
  title = {Toward Languages and Formal Systems for Distributed Computing},
  author = {Mario Tokoro and Kazunori Takashio},
  year = {1993},
  researchr = {https://researchr.org/publication/TokoroT93},
  cites = {0},
  citedby = {0},
  pages = {93-110},
  booktitle = {Object-Based Distributed Programming, ECOOP  93 Workshop, Kaiserslautern, Germany, July 26-27, 1993},
  editor = {Rachid Guerraoui and Oscar Nierstrasz and Michel Riveill},
  volume = {791},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57932-X},
}