Bisimulation maps in presheaf categories

Beohar, H. and Küpper, S. (2019) Bisimulation maps in presheaf categories. In: König, B., (ed.) Electronic Notes in Theoretical Computer Science. 35th Conference on the Mathematical Foundations of Programming Semantics, 04-07 Jun 2019, London, UK. Elsevier , pp. 5-24.



Copyright, Publisher and Additional Information: © 2019 The Author(s). This is an open access article under the CC BY license (
Keywords: Presheaves; ∀-fair bisimulation; Branching bisimulation
  • Published (online): 9 December 2019
  • Published: 30 November 2019
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 13 Mar 2020 11:37
Last Modified: 13 Mar 2020 11:37
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number:
Related URLs:

Share / Export