TY  - RPRT
TI  - Bisimilarity of diagrams
AU  - Jérémy Dubut
PY  - 2020
UR  - https://arxiv.org/abs/1804.10886
ID  - 1804.10886
ER  -