A Categorical Axiomatics for Bisimulation (1998)

Cached

Download Links

by John Power , Glynn Winskel , Gian Luca Cattani , Gian Luca Cattani
Venue:In Proc. of CONCUR’98, LNCS 1466
Citations:18 - 8 self