Bisimilarity for a first-order calculus of objects with subtyping

Publisher Website

1 January 1996

conference paper
Published by Association for Computing Machinery (ACM)

p. 386-395
https://doi.org/10.1145/237721.237807

Abstract

No abstract available

Cited by 29 articles