Thursday, October 7, 2021
Paper on Detectable Sequential Specifications published in DISC'21
MASc alumnus Nan Li and Prof. Golab publish a paper on Detectable Sequential Specifications in the 35th International Symposium on Distributed Computing (DISC'21).
Congratulations Nan!