TY - GEN
AU - Barwell, Adam D.
AU - Hou, Ping
AU - Yoshida, Nobuko
AU - Zhou, Fangyi
AU - Adam D. Barwell and Ping Hou and Nobuko Yoshida and Fangyi Zhou
TI - Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact)
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - Session Types
KW - Concurrency
KW - Failure Handling
KW - Scala
KW - Code Generation
PY - 2023
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation