@inproceedings{inproceedings, title = {{Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders}}, publisher = {{Elsevier BV}}, url = {{https://doi.org/10.1016/j.entcs.2015.12.005 }}, year = {{2015}}, month = {{12}}, author = {{Beohar H and Cuijpers PJL}}, doi = {{10.1016/j.entcs.2015.12.005}}, volume = {{319}}, journal = {{Electronic Notes in Theoretical Computer Science}}, pages = {{51-66}}, note = {{Accessed on 2025/11/20}}}