A Coalgebraic Treatment of Conditional Transition Systems with ...
Reference
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, and Thorsten Wißmann. A coalgebraic treatment of conditional transition systems with upgrades. Logical Methods in Computer Science, 14(1), 2018. Special Festschrift Issue in Honor of Jiri Adámek.
Suggested BibTeX entry:
@article{BKKSW,
author = {Harsh Beohar and Barbara K\"onig and Sebastian K\"upper and Alexandra Silva and Thorsten Wi{\ss}mann},
journal = {Logical Methods in Computer Science},
note = {Special Festschrift Issue in Honor of Ji\v{r}{\'\i} Ad{\'a}mek},
number = {1},
title = {A Coalgebraic Treatment of Conditional Transition Systems with Upgrades},
volume = {14},
year = {2018}
}
