Showing results 2 to 6 of 6
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, JOURNAL OF FUNCTIONAL PROGRAMMING, v.23, no.4, pp.452 - 514, 2013-07 |
Modular Verification of Preemptive OS Kernels Gotsman, Alexey; Yang, Hongseok, ACM SIGPLAN NOTICES, v.46, no.9, pp.404 - 417, 2011-09 |
Replicated Data Types: Specification, Verification, Optimality Burckhardt, Sebastian; Gotsman, Alexey; Yang, Hongseok; Zawirski, Marek, ACM SIGPLAN NOTICES, v.49, no.1, pp.271 - 284, 2014-01 |
Specification and space complexity of collaborative text editing Attiya, Hagit; Burckhardt, Sebastian; Gotsman, Alexey; Morrison, Adam; Yang, Hongseok; Zawirski, Marek, THEORETICAL COMPUTER SCIENCE, v.855, pp.141 - 160, 2021-02 |
Discover