TY  - RPRT
TI  - Coherent branching feature bisimulation
AU  - Tessa Belder
AU  - Maurice H. ter Beek
AU  - Erik P. de Vink
PY  - 2015
DO  - 10.4204/eptcs.182.2
UR  - https://arxiv.org/abs/1504.03474
ID  - 1504.03474
ER  -