Optimal Message-Driven Implementation of Omega with Mute Processes (bibtex)
by Martin Biely, Josef Widder
Reference:
Optimal Message-Driven Implementation of Omega with Mute ProcessesMartin Biely, Josef WidderProceedings of the Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2006), volume 4280 of LNCS, pages 110–121, November 2006, Springer Verlag.
Bibtex Entry:
@InProceedings{BW06:SSS,
  author = {Biely, Martin and Widder, Josef},
  title = {Optimal Message-Driven Implementation of {O}mega with Mute
  Processes},
  booktitle = {Proceedings of the Eighth International Symposium on
  Stabilization, Safety, and Security of Distributed Systems (SSS 2006)},
  year = {2006},
  month = {November},
  series = {LNCS},
  volume = {4280},
  pages = {110--121},
  publisher = {Springer Verlag},
  address = {Dallas, TX, USA},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1822&viewmode=published&year=2006}
}
Powered by bibtexbrowser