Report - Coalgebraic weak bisimulation for action-type systems · PDF fileScientific Annals of Computer Science vol. 19, 2009 “Alexandru Ioan Cuza” University of Ia¸si, Romania Coalgebraic

Please pass captcha verification before submit form