Stephen Huang;Alejandro Ramirez-Serrano
University of Calgary, Calgary, AB, Canada;University of Calgary, Calgary, AB, Canada
Reasoning about naming systems
ACM Transactions on Programming Languages and Systems (TOPLAS)