Global/local subtyping and capability inference for a distributed π-calculus (1998)

View PDF

Download Links

by Peter Sewell
Venue:In Proceedings of ICALP '98, LNCS 1443
Citations:66 - 11 self