@inproceedings{vanGlabbeek_20, address = {Online}, author = {van Glabbeek, Robert}, booktitle = {31st International Conference on Concurrency Theory (CONCUR 20)}, date = {2020-8-27}, doi = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.6}, editor = {{Igor Konnov and Laura Kov\'{a}cs}}, keywords = {Concurrency; process algebra; time-outs; {CCSP}; labelled transition systems; reactive bisimulation semantics; modal characterisations; congruence; recursion; complete axiomatisations.}, month = aug, pages = {6:1-6:23}, paperurl = {https://trustworthy.systems/publications/full_text/vanGlabbeek_20.pdf}, publisher = {Schloss Dagstuhl---Leibniz-Zentrum f\"{u}r Informatik}, series = {Leibniz International Proceedings in Informatics (LIPIcs) 171}, title = {Reactive Bisimulation Semantics for a Process Algebra with Time-Outs}, volume = {171}, year = {2020} }