Towards Reliable Concurrent Software

2018-11-16

During the symposium organised for the 60th birthday of Arnd Poetzsch-Heffter, Marieke Huisman presented a position paper "Towards Reliable Concurrent Software", co-authored with Sebastiaan Joosten, which outlines the plans of the Mercedes project.