TY  - RPRT
TI  - Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
AU  - Diego Latella
AU  - Mieke Massink
AU  - Erik P De Vink
PY  - 2015
DO  - 10.2168/lmcs-11(4:16)2015
UR  - https://arxiv.org/abs/1511.05866
ID  - 1511.05866
ER  -