Optimal message-driven implementations of omega with mute processes

Martin Biely, Josef Widder. Optimal message-driven implementations of omega with mute processes. TAAS, 4(1), 2009. [doi]

@article{BielyW09,
  title = {Optimal message-driven implementations of omega with mute processes},
  author = {Martin Biely and Josef Widder},
  year = {2009},
  doi = {10.1145/1462187.1462191},
  url = {http://doi.acm.org/10.1145/1462187.1462191},
  researchr = {https://researchr.org/publication/BielyW09},
  cites = {0},
  citedby = {0},
  journal = {TAAS},
  volume = {4},
  number = {1},
}