@InProceedings{Miranda:icdcs01,
  author =       "Miranda, H. and Pinto, A. and Rodrigues, L.",
  title =        "Appia,  a flexible protocol kernel supporting multiple
coordinated channels",
  booktitle =    "Proceedings of the 21st International
Conference on Distributed Computing Systems",
  month =        apr,
  publisher =    "IEEE",
  pages =        "707-710",
  address =      "Phoenix, Arizona",
  year =         "2001",
}