Showing results 2 to 3 of 3
Linearizability with Ownership Transfer Gotsman, Alexey; Yang, Hongseok, LOGICAL METHODS IN COMPUTER SCIENCE, v.9, no.3, 2013 |
Modular Verification of Preemptive OS Kernels Gotsman, Alexey; Yang, Hongseok, ACM SIGPLAN NOTICES, v.46, no.9, pp.404 - 417, 2011-09 |
Discover