Tilbage til artikeldetaljer
A Categorical Axiomatics for Bisimulation
Download
Download PDF