Guarded Traced Categories

Conference contribution
(Conference Contribution)

Publication Details

Author(s): Goncharov S, Schröder L
Publisher: Springer Verlag
Publication year: 2018
Title of series: Lecture Notes in Computer Science
Pages range: 313-330
ISBN: 9783319893655
Language: English

FAU Authors / FAU Editors

Goncharov, Sergey PD Dr.-Ing.
Technische Fakultät
Schröder, Lutz Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)

How to cite

Goncharov, S., & Schröder, L. (2018). Guarded Traced Categories. (pp. 313-330). Springer Verlag.

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.


Last updated on 2019-30-01 at 13:53