![](/img/cover-not-exists.png)
Bisimilarity of open terms in stream GSOS
Bonchi, Filippo, van Bussel, Tom, Lee, Matias David, Rot, JurriaanVolume:
172
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2018.10.007
Date:
March, 2019
File:
PDF, 674 KB
english, 2019