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...

Fuld beskrivelse

Na minha lista:
Principais autores: Pierre-Malo Denielou, Nobuko Yoshida, Andi Bejleri, Raymond Hu
Format: Artigo
Sprog:Inglês
Udgivet: Logical Methods in Computer Science e.V. 2012-10-01
Serier:Logical Methods in Computer Science
Fag:
computer science - logic in computer science
f.3.3, d.1.3, f.1.1, f.1.2
Online adgang:https://lmcs.episciences.org/924/pdf
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker