Data Refinement and Remote Procedures

Kaisa Sere, Marina A. Waldén. Data Refinement and Remote Procedures. In Martín Abadi, Takayasu Ito, editors, Theoretical Aspects of Computer Software, Third International Symposium, TACS 97, Sendai, Japan, September 23-26, 1997, Proceedings. Volume 1281 of Lecture Notes in Computer Science, pages 267-294, Springer, 1997.

@inproceedings{SereW97,
  title = {Data Refinement and Remote Procedures},
  author = {Kaisa Sere and Marina A. Waldén},
  year = {1997},
  tags = {refinement, data-flow},
  researchr = {https://researchr.org/publication/SereW97},
  cites = {0},
  citedby = {0},
  pages = {267-294},
  booktitle = {Theoretical Aspects of Computer Software, Third International Symposium, TACS  97, Sendai, Japan, September 23-26, 1997, Proceedings},
  editor = {Martín Abadi and Takayasu Ito},
  volume = {1281},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63388-X},
}