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:54 - 7 self