Publications

Filters: Author is Filippo Bonchi  [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.PDF icon paper-801.pdf (641.75 KB)
2017
F. Bonchi, Lee, M. D., and Rot, J., “Bisimilarity of Open Terms in Stream GSOS”, in Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers, vol. 10522, M. Dastani and Sirjani, M., Eds. Springer, 2017, pp. 35–50.PDF icon paper-799.pdf (413.24 KB)

Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054