On path-based coalgebras and weak notions of bisimulation

Reference

Harsh Beohar and Sebastian Küpper. On path-based coalgebras and weak notions of bisimulation. In Proc. of CALCO '17, 2017. to appear.

Suggested BibTeX entry:

@inproceedings{BK17,
    author = {Harsh Beohar and Sebastian K\"{u}pper},
    booktitle = {Proc. of CALCO '17},
    note = {to appear},
    title = {On path-based coalgebras and weak notions of bisimulation},
    year = {2017}
}

This work is not available online here.