@inproceedings{inproceedings, title = {{Bisimulation maps in presheaf categories}}, publisher = {{Elsevier}}, url = {{http://eprints.whiterose.ac.uk/158375/ }}, year = {{2019}}, month = {{11}}, author = {{Beohar H and K眉pper S}}, doi = {{10.1016/j.entcs.2019.09.002}}, volume = {{347}}, journal = {{Electronic Notes in Theoretical Computer Science}}, pages = {{5-24}}, note = {{Accessed on 2025/06/21}}}