FAST1999.bib

@ARTICLE{BonsangueKok,
  AUTHOR = {M.M. Bonsangue and J.N. Kok},
  TITLE = {Towards an infinitary logic of domains: Abramsky logic for transition systems},
  JOURNAL = {Information and Computation},
  NUMBER = 155,
  PAGES = {170-201},
  YEAR = {1999}
}


@INPROCEEDINGS{BonsangueKokZavattaro,
  AUTHOR = {M.M. Bonsangue and J.N. Kok and G. Zavattaro},
  TITLE = {Comparing Software Architectures for Coordination Languages},
  BOOKTITLE = {Proceedings of the 3rd 
International Conference on Coordination Languages and Models (Coordination 99)},
  EDITOR = {P. Ciancarini and A. Wolf},
  SERIES = {LNCS},
  VOLUME = {1594},
  PAGES = {150--164},
  PUBLISHER = {Springer-Verlag},
  YEAR = {1999}
}


@INPROCEEDINGS{BonsangueKokZavattaro2,
  AUTHOR = {M.M. Bonsangue and J.N. Kok and G. Zavattaro},
  TITLE = {Comparing coordination models based on shared distributed replicated data},
  BOOKTITLE = {Proceedings of the ACM Symposium on Applied Computing (SAC '99)},
  EDITORS = {J. Carroll and H. Haddad and D. Oppenheim and B. Bryant and G.B. Lamont},
  PAGES = {146-155},
  PUBLISHER = {ACM press},
  YEAR = {1999}
}


@INPROCEEDINGS{BonsangueKokSere,
  AUTHOR = {M.M. Bonsangue and J.N. Kok and K. Sere},
  TITLE = {Developing Object-based Distributed Systems},
  BOOKTITLE = {Proceedings of the 3rd IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'99)},
  EDITORS = {P.  Ciancarini and A. Fantechi and R. Gorrieri},
  PAGES = {19-34},
  PUBLISHER = {Kluwer},
  YEAR = {1999}
}