Código QR (código de barras bidimensional)

Parameterised Multiparty Session Types

For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. This paper proposes a dependent type theory for multiparty sessions which can statically guarantee type-safe, deadlock-fr...

תיאור מלא

שמור ב:
Principais autores: Pierre-Malo Denielou, Nobuko Yoshida, Andi Bejleri, Raymond Hu
פורמט: Artigo
שפה:Inglês
יצא לאור: Logical Methods in Computer Science e.V. 2012-10-01
סדרה:Logical Methods in Computer Science
נושאים:
computer science - logic in computer science
f.3.3, d.1.3, f.1.1, f.1.2
גישה מקוונת:https://lmcs.episciences.org/924/pdf
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

פריטים דומים