Report copyright - On the Origins of Bisimulation and Coinductionsangio/DOC_public/history_bis_coind.pdf · On the Origins of Bisimulation and Coinduction · 115 Bisimilarity, written ∼, is the union
Please pass captcha verification before submit form