@inproceedings{inproceedings, title = {{Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders}}, publisher = {{Electronic Notes in Theoretical Computer Science}}, url = {{}}, year = {{2015}}, month = {{12}}, author = {{Beohar H and Cuijpers PJL}}, volume = {{319}}, journal = {{The 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI)}}, pages = {{51-66}}, note = {{Accessed on 2024/12/23}}}