Environmental bisimulations for higher-order languages (2007)

by Davide Sangiorgi
Venue:In Twenty-Second Annual IEEE Symposium on Logic in Computer Science
Citations:49 - 14 self