FAST1996.bib

@INPROCEEDINGS{1996Bonsangue1,
  AUTHOR = {M.M. Bonsangue and F. van Breugel and J.J.M.M. Rutten and Alexandroff and Scott},
  TITLE = {Topologies for Generalized Metric Spaces},
  BOOKTITLE = {Papers on General Topology and Applications: Eleventh Summer Conference at University of Southern Maine},
  EDITORS = {S. Andima and R.C. Flagg and G. Itzkowitz and P. Misra and Y. Kong and R. Kopperman},
  PUBLISHER = {Annals of the New York Academy of Sciences},
  VOLUME = {806},
  PAGES = {49-68},
  YEAR = {1996}
}


@INPROCEEDINGS{1996Goeman1,
  AUTHOR = {H.J.M. Goeman and J.N. Kok and K. Sere and R. Udink},
  TITLE = {Coordination in the impunity framework},
  BOOKTITLE = {Proceedings of COORDINATION},
  VOLUME = {Lecture Notes in Computer Science 1061},
  PAGES = {215-230},
  PUBLISHER = {Springer-Verlag},
  YEAR = {1996}
}


@INPROCEEDINGS{1996Kok5,
  AUTHOR = {R.T. Udink and J.N. Kok},
  TITLE = {The RPC-Memory Specification Case Study: UNITY plus Refinement Calculus},
  BOOKTITLE = {Formal Systems Specification},
  VOLUME = {Lecture Notes in Computer Science 1169},
  EDITORS = {M. Broy and S. Merz and K. Spies},
  PAGES = {521-540},
  PUBLISHER = {Springer-Verlag},
  YEAR = {1996}
}