Filippo Bonchi, Matias David Lee and Jurriaan Rot. "Bisimilarity of Open Terms in Stream GSOS", in FSEN'17: 7th IPM International Conference on Fundamentals of Software Engineering. Tehran, Iran.
Facultad de Matemática, Astronomía, Física y Computación
Sección de Ciencias de la Computación