FAST1997.bib

@INPROCEEDINGS{BonsangueKok1,
  AUTHOR = {M.M.~Bonsangue and J.N.~Kok},
  TITLE = {Specifying computations using hyper transition systems},
  BOOKTITLE = { Proceedings of the 22nd International Symposium on
                Mathematical Foundations of Computer Science (MFCS'97)},
  EDITOR = {I.~Privara, P.~Ruzicka},
  SERIES = {Lecture Notes in Computer Science},
  NUMBER = {1295},
  PUBLISHER = {Springer Verlag},
  YEAR = {1997},
  PAGES = {169--178}
}


@INPROCEEDINGS{BonsangueKok2,
  AUTHOR = {M.M.~Bonsangue and J.N.~Kok},
  TITLE = {Infinitary domain logic for finitary transition systems},
  BOOKTITLE = {Proceedings of the 3rd Symposium on Theoretical
                Aspects of Computer Software (TACS'97)},
  EDITOR = {M.~Abadi, T.~Ito},
  SERIES = {Lecture Notes in Computer Science},
  NUMBER = {1281},
  PUBLISHER = {Springer Verlag},
  YEAR = {1997},
  PAGES = {213--232}
}


@INPROCEEDINGS{HedmanKokSere1,
  AUTHOR = {E.~Hedman and J.N.~Kok and K.~Sere},
  TITLE = {Coordinating Action Systems},
  BOOKTITLE = {Proceedings of Coordination Languages and Models},
  EDITOR = {D.~Garlan, D.~Le~M\'etayer},
  SERIES = {Lecture Notes in Computer Science},
  NUMBER = {1282},
  PUBLISHER = {Springer Verlag},
  YEAR = {1997},
  PAGES = {302--319}
}