Browse "CS-Journal Papers(저널논문)" by Author Gotsman, Alexey
Showing results 1 to 6 of 6
| 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems Gotsman, Alexey; Yang, Hongseok; Ferreira, Carla; Najafzadeh, Mahsa; Shapiro, Marc, ACM SIGPLAN NOTICES, v.51, no.1, pp.371 - 384, 2016-01 |
| 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
Open Access
- 187 OA Article