A Coalgebraic Treatment of Conditional Transition Systems with ...

Reference

Harsh Beohar, Barbara König, Sebastian Küpper, and Alexandra Silva. A coalgebraic treatment of conditional transition systems with upgrades, 2016. arXiv:1612.05002.

Suggested BibTeX entry:

@misc{BKKS16,
    author = {Harsh Beohar and Barbara K\"onig and Sebastian K\"upper and Alexandra Silva},
    note = {arXiv:1612.05002},
    title = {A Coalgebraic Treatment of Conditional Transition Systems with Upgrades},
    year = {2016}
}

See arxiv.org ...