A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects (1983)

Cached

Download Links

by Marina Lenisa
Venue:in FoSSaCS'99 (ETAPS) Conf. Proc., W.Thomas ed., Springer LNCS 1578
Citations:1 - 1 self