A bisimulation-based semantic theory of safe ambients (2006)

Cached

Download Links

by Massimo Merro , Matthew Hennessy
Venue:ACM Transactions on Programming Languages and Systems
Citations:11 - 0 self