%0 Generic
%T Multiparty Session Programming with Global Protocol Combinators (Artifact)
%A Imai, Keigo
%A Neykova, Rumyana
%A Yoshida, Nobuko
%A Yuen, Shoji
%A Keigo Imai and Rumyana Neykova and Nobuko Yoshida and Shoji Yuen
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K Concurrent and Distributed Programming
%K Multiparty Session Types
%K Communication Protocol
%K OCaml
%D 2020
%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