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!