Yehuda Afek Eli Gafni Adam Morrison 0001 Common2 extended to stacks and unbounded concurrency. 239-252 2007 20 Distributed Comput. 4 https://doi.org/10.1007/s00446-007-0023-3 db/journals/dc/dc20.html#AfekGM07