Towards a Categorical Axiomatics of Bisimulation (1999)

Cached

Download Links

by Gian Luca Cattani , A. John Power , Glynn Winskel