The existence of refinement mappings
Semantics of transactional memory and automatic mutual exclusion
Authentication in distributed systems: theory and practice
Theoretical Computer Science
ACM Transactions on Computer Systems
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL ’08
Michael Burrows
Michael Isard
Edward Wobber
Butler Lampson
Tim Harris
Andrew Birrell
Authentication metric analysis and design
A theory of normed simulations
Gentrification Gone Too Far? Affordable 2Nd-class Values for Fun and (Co-)Effect
Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect