@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} }