Detectable Sequential Specifications for Recoverable Shared Objects

Nan Li, Wojciech M. Golab. Detectable Sequential Specifications for Recoverable Shared Objects. In Seth Gilbert, editor, 35th International Symposium on Distributed Computing, DISC 2021, October 4-8, 2021, Freiburg, Germany (Virtual Conference). Volume 209 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Authors

Nan Li

This author has not been identified. Look up 'Nan Li' in Google

Wojciech M. Golab

This author has not been identified. Look up 'Wojciech M. Golab' in Google