Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets

Milius S, Schröder L, Wißmann T (2016)

Publication Language: English

Publication Type: Journal article, Original article

Publication year: 2016

Journal

Applied Categorical Structures Springer Verlag (Germany)

Book Volume: 24

Pages Range: 663--701

Journal Issue: 5

DOI: 10.1007/s10485-016-9457-8

Authors with CRIS profile

Stefan Milius Lehrstuhl für Informatik 8 (Theoretische Informatik) Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik) Thorsten Wißmann Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

Coinduction Meets Algebra For the Axiomatization of System Equivalence (COAX) Oct. 1, 2014 - July 31, 2018 Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe (ProbDL) April 1, 2011 - April 1, 2014

How to cite

APA:

Milius, S., Schröder, L., & Wißmann, T. (2016). Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets. Applied Categorical Structures, 24(5), 663--701. https://dx.doi.org/10.1007/s10485-016-9457-8

MLA:

Milius, Stefan, Lutz Schröder, and Thorsten Wißmann. "Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets." Applied Categorical Structures 24.5 (2016): 663--701.

BibTeX: Download