@inproceedings{Chen_FG_09,
    address          = {Spindleruv Mlyn, Czech Republic },
    author           = {Chen, Taolue and Fokkink, Wan and van Glabbeek, Robert},
    booktitle        = {35th Conference on Current Trends in Theory and Practice of Computer Science},
    editor           = {{M. Nielsen, A. Kucera, P. Bro Miltersen, C. Palamidessi, P. Tuma \& F. Valencia}},
    issn             = {0302-9743},
    keywords         = {concurrency, process algebra, bccs, labeled transition systems, complete axiomatizations, failures
                        semantics, impossible futures semantics.},
    month            = jan,
    pages            = {167--180},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/157.pdf},
    publisher        = {Springer},
    title            = {On Finite Bases for Weak Semantics: Failures versus Impossible Futures},
    year             = {2009}
  }