Semantics of Concurrent Revisions (2011)

by S Burckhardt, D Leijen
Venue:In European Symposium on Programming (ESOP), LNCS