No. 22 (1998): RS-22 A Categorical Axiomatics for Bisimulation

Published: 1998-01-22

Articles