most citedIntegration of Blockchain and IoT: An Enhanced Security Perspective

30 citations

researchers with a paper here
collaborating institutions
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2019★ 4 cited

Comprehensive Multiparty Session Types

Andi Bejleri, Elton Domnori, Malte Viering +2

Multiparty session types (MST) are a well-established type theory that describes the interactive structure of a fixed number of components from a global point of view and type-chec…