Deriving Bisimulation Congruences for Reactive Systems (2000)

Cached

Download Links

by James J. Leifer , Robin Milner
Venue:In Proc. of CONCUR 2000, 2000. LNCS 1877
Citations:118 - 14 self