Forward and backward steps in a fibration

Turkenburg, R., Beohar, H. orcid.org/0000-0001-5256-1334, Kupke, C. et al. (1 more author) (2023) Forward and backward steps in a fibration. In: Baldan, P. and de Paiva, V., (eds.) 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), 19-21 Jun 2023, Padova, Italy. Leibniz International Proceedings in Informatics (LIPIcs), 270 . Schloss Dagstuhl – Leibniz-Zentrum für Informatik , 6:1-6:18.

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Baldan, P.
  • de Paiva, V.
Copyright, Publisher and Additional Information:

© Ruben Turkenburg, Harsh Beohar, Clemens Kupke, and Jurriaan Rot; licensed under Creative Commons License CC-BY 4.0 (https://creativecommons.org/licenses/by/4.0/)

Keywords: Coalgebra; Fibration; Bisimilarity
Dates:
  • Published: 2 September 2023
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: 21 Jun 2024 11:58
Last Modified: 21 Jun 2024 12:32
Status: Published
Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Series Name: Leibniz International Proceedings in Informatics (LIPIcs)
Refereed: Yes
Identification Number: 10.4230/LIPIcs.CALCO.2023.6
Related URLs:
Open Archives Initiative ID (OAI ID):

Export

Statistics