InstitutionCentre for Mathematics and Computer Science (CWI)Emailjanr@cwi.nlStatusCollaboratorPublications2013Automatic equivalence proofs for non-deterministic coalgebrasMarcello Bonsangue, Georgiana Caltais, Eugen Goriac, Dorel Lucanu, Jan Rutten, Alexandra Silva Journal2011A decision procedure for bisimilarity of generalized regular expressionsMarcello Bonsangue, Georgiana Caltais, Eugen Goriac, Dorel Lucanu, Jan Rutten, Alexandra Silva Conference