@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/10/23}}}