@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 2024/12/20}}}