TY - GEN T1 - On path-based coalgebras and weak notions of bisimulation T2 - arXiv PY - 2017/05/24 AU - Beohar H AU - Küpper S ED - DO - DOI: 10.48550/arxiv.1705.08715 Y2 - 2024/12/23 ER -