Guarded Traced Categories

Goncharov S, Schröder L (2018)

Publication Language: English

Publication Status: Published

Publication Type: Conference contribution, Conference Contribution

Publication year: 2018

Publisher: Springer Verlag

Series: Lecture Notes in Computer Science

Pages Range: 313-330

ISBN: 9783319893655

DOI: 10.1007/978-3-319-89366-2_17

Open Access Link: https://doi.org/10.23638/LMCS-14(3:10)2018

Authors with CRIS profile

Sergey Goncharov Technische Fakultät Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

A High Level Language for Monad-based Processes (HighMoon/HighMoon2) Sept. 1, 2013 - Oct. 31, 2020 Coinduction Meets Algebra For the Axiomatization of System Equivalence (COAX) Oct. 1, 2014 - July 31, 2018

How to cite

APA:

Goncharov, S., & Schröder, L. (2018). Guarded Traced Categories. In Proceedings of the 21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 (pp. 313-330). Springer Verlag.

MLA:

Goncharov, Sergey, and Lutz Schröder. "Guarded Traced Categories." Proceedings of the 21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Springer Verlag, 2018. 313-330.

BibTeX: Download