%0 Generic
%T Generalised Multiparty Session Types with Crash-Stop Failures
%A Barwell, Adam D.
%A Scalas, Alceste
%A Yoshida, Nobuko
%A Zhou, Fangyi
%A Adam D. Barwell and Alceste Scalas and Nobuko Yoshida and Fangyi Zhou
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K Failure Handling
%K Model Checking
%K Session Types
%K Concurrency
%D 2022
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation