Bisimilarity for a First-Order Calculus of Objects with Subtyping (1996)

Cached

Download Links

by Andrew D. Gordon , Gareth D. Rees
Venue:In Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages
Citations:43 - 2 self