Weak Bisimulation and Open Maps (Extended Abstract) (1999)

Cached

Download Links

by Marcelo P. Fiore , Gian Luca Cattani , Glynn Winskel
Citations:4 - 4 self