A coalgebraic treatment of conditional transition systems with upgrades

Harsh B, König B, Küpper S, Silva A, Wißmann T (2018)

Publication Type: Journal article

Publication year: 2018

Journal

Logical Methods in Computer Science Logical Methods in Computer Science e.V.

Book Volume: Volume 14, Issue 1

URI: https://lmcs.episciences.org/4330/pdf

DOI: 10.23638/LMCS-14(1:19)2018

Open Access Link: https://lmcs.episciences.org/4330

Authors with CRIS profile

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

Involved external institutions

FernUniversität in Hagen DE Germany (DE) Universität Duisburg-Essen (UDE) DE Germany (DE) University College London (UCL) GB United Kingdom (GB)

How to cite

APA:

Harsh, B., König, B., Küpper, S., Silva, A., & Wißmann, T. (2018). A coalgebraic treatment of conditional transition systems with upgrades. Logical Methods in Computer Science, Volume 14, Issue 1. https://doi.org/10.23638/LMCS-14(1:19)2018

MLA:

Harsh, Beohar, et al. "A coalgebraic treatment of conditional transition systems with upgrades." Logical Methods in Computer Science Volume 14, Issue 1 (2018).

BibTeX: Download