Jump to navigation
Dependable Systems Group
Publications
Filters:
Author
is
Tom van Bussel
[Clear All Filters]
2019
F. Bonchi
,
van Bussel, T.
,
Lee, M. D.
, and
Rot, J.
,
“
Bisimilarity of open terms in stream GSOS
”
,
Sci. Comput. Program.
, vol. 172, pp. 1–26, 2019.
DOI
Google Scholar
paper-801.pdf
(641.75 KB)
Main menu
Home
Members
Projects
Publications
Alumni
News
Tools
Facultad de
Matemática, Astronomía, Física y Computación
Sección de Ciencias de la Computación
Home
Members
Projects
Publications
Alumni
News
Tools
paper-801.pdf (641.75 KB) paper-801.pdf (641.75 KB) paper-801.pdf (641.75 KB)