,

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language.

, , , и .
ECOOP, том 194 из LIPIcs, стр. 10:1-10:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии