FAST2001.bib

@TECHREPORT{devink01a,
  AUTHOR = {J.C.M. Baeten and E.P. de Vink},
  TITLE = { Axiomatizing GSOS with termination},
  INSTITUTION = {Technische Universiteit Eindhoven},
  NUMBER = {CSR 01-06},
  YEAR = {2001}
}


@INPROCEEDINGS{devink01b,
  AUTHOR = {J.I. den Hartog and E.P. de Vink and J.W. de Bakker},
  TITLE = {Metric semantics and full abstractness for action refinement and probabilistic choice},
  EDITOR = {M. Schellekens and T. Seda},
  BOOKTITLE = {Proceedings of the MFCSIT'00},
  NOTE = {to appear},
  SERIES = {ENTCS},
  VOLUME = {40},
  YEAR = {2001}
}


@INPROCEEDINGS{devink01c,
  AUTHOR = {N. Agray, W. and van der Hoek and E.P. de Vink},
  TITLE = {On BAN logics for industrial security protocols},
  EDITOR = {B. Dunin-Keplicz and E. Nawarecki},
  BOOKTITLE = {Proceedings of the CEEMAS'01},
  PAGES = {15--24},
  NOTE = { Preliminary version presented at BNAIC'01, Amsterdam 2001},
  YEAR = {2001}
}


@ARTICLE{BKZ01,
  AUTHOR = {M.M. Bonsangue and J.N. Kok and G. Zavattaro},
  TITLE = {Comparing coordination models and architectures using embeddings},
  JOURNAL = {Science of Computer Programming},
  YEAR = 2001
}


@INPROCEEDINGS{BK01,
  AUTHOR = {M.M. Bonsangue and J.N.  Kok},
  TITLE = {Infinite intersection and union  types for the   
                  lazy  lambda calculus},
  BOOKTITLE = {Proceedings  of the 4th Symposium  on Theoretical  
                  Aspects of Computer Software (TACS2001)},
  PAGES = {448--458},
  YEAR = 2001,
  EDITOR = {N.   Kobayashi  and B.   Pierce},
  VOLUME = 2215,
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag}
}