Bisimulation maps in presheaf categories

Beohar, H. orcid.org/0000-0001-5256-1334 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.

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2019 The Author(s). This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).
Keywords: Presheaves; ∀-fair bisimulation; Branching bisimulation
Dates:
  • 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: https://doi.org/10.1016/j.entcs.2019.09.002
Related URLs:

Share / Export

Statistics