@article{vanGlabbeek_CF_15,
    doi              = {10.2168/LMCS-11(3:17)2015},
    month            = sep,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8502.pdf},
    journal          = {Logical Methods in Computer Science},
    year             = {2015},
    keywords         = {concurrency, process algebra, bccs, labeled transition systems, complete axiomatizations, impossible
                        futures semantics.},
    volume           = {11},
    title            = {On the Axiomatizability of Impossible Futures},
    number           = {3},
    author           = {van Glabbeek, Robert and Chen, Taolue and Fokkink, Wan},
    pages            = {1--31}
  }