Interface Automata for Shared Memory. - Ayleen Schinko; Walter Vogler; Johannes Gareis; N. Tri Nguyen; Gerald Lüttgen (Acta Informatica, 2022)