DMCA

Bisimulation Congruences in Safe Ambients (2001)

Cached

Download Links

by Massimo Merro , Matthew Hennessy
Venue:In 29th ACM Symposium on Principles of Programming Languages (POPL
Citations:58 - 7 self