author = { Barwell, Adam D. AND Hou, Ping AND Yoshida, Nobuko AND Zhou, Fangyi Adam D. Barwell and Ping Hou and Nobuko Yoshida and Fangyi Zhou },

title = { Designing Asynchronous Multiparty Protocols with Crash-Stop Failures },

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

keywords = { Session Types , Concurrency , Failure Handling , Scala , Code Generation },

year = {2023},

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

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