Publications

Google Scholar - DBLP

2017

  • 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.

2016

2015

2014

2012

2011

2010