TY  - RPRT
TI  - Bisimilarity of Open Terms in Stream GSOS
AU  - Filippo Bonchi
AU  - Tom van Bussel
AU  - Matias David Lee
AU  - Jurriaan Rot
PY  - 2019
DO  - 10.1016/j.scico.2018.10.007
UR  - https://arxiv.org/abs/1811.03606
ID  - 1811.03606
ER  -