Elucidating concurrent algorithms via layers of abstraction and reification
scientific article; zbMATH DE number 5900835
scientific article