@article{vanGlabbeek_20_2,
    author           = {van Glabbeek, Robert},
    date             = {2020-8-26},
    keywords         = {Concurrency; process algebra; time-outs; {CCSP}; labelled transition systems; reactive bisimulation
                        semantics; modal characterisations; congruence; recursion; complete axiomatisations.},
    month            = aug,
    numpages         = {40},
    paperurl         = {https://trustworthy.systems/publications/full_text/vanGlabbeek_20_2.pdf},
    publisher        = {CSIRO},
    title            = {Reactive Bisimulation Semantics for a Process Algebra with Time-Outs},
    year             = {2020}
  }