Contextuality in Distributed Systems. - Nasos Evangelou-Oost; Callum Bannister; Ian J. Hayes (RAMiCS, 2023)

Trace Models of Concurrent Valuation Algebras. - Nasos Evangelou-Oost; Larissa Meinicke; Callum Bannister; Ian J. Hayes (ICFEM, 2023)

Restructuring a Concurrent Refinement Algebra. - Ian J. Hayes; Larissa A. Meinicke; Nasos Evangelou-Oost (RAMiCS, 2024)