Path category for free - Open morphisms from coalgebras with non-deterministic branching (bibtex)
by Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo
Reference:
Path category for free - Open morphisms from coalgebras with non-deterministic branching (Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo), In Proceedings of the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'19), 2019. (to appear)
Bibtex Entry:
@inproceedings{WDKH2019,
    Author = {Thorsten Wi{\ss}mann and J{\'{e}}r{\'{e}}my Dubut and Shin{-}ya Katsumata and Ichiro Hasuo},
    Booktitle = {Proceedings of the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'19)},
    Title = {Path category for free - Open morphisms from coalgebras with non-deterministic branching},
    Year = {2019},
    url = {http://arxiv.org/abs/1811.12294},
    note = {to appear}}
Powered by bibtexbrowser