@mastersthesis{Mattes2019, author = {Dirk Mattes}, title = {Ein System zur deterministischen Wiedergabe von verteilten Algorithmen auf Anwendungsebene}, year = {2019}, language = {de} }