Towards type-theoretic semantics for transactional concurrency (2009)

by Aleksandar Nanevski , Paul Govereau , Greg Morrisett
Citations:1 - 1 self