author = { Barwell, Adam D. AND Scalas, Alceste AND Yoshida, Nobuko AND Zhou, Fangyi Adam D. Barwell and Alceste Scalas and Nobuko Yoshida and Fangyi Zhou },

title = { Generalised Multiparty Session Types with Crash-Stop Failures },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { Failure Handling , Model Checking , Session Types , Concurrency },

year = {2022},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }