A linear decomposition of multiparty sessions for safe distributed programming

Alceste Scalas*, Ornela Dardha, Raymond Hu, Nobuko Yoshida

*Corresponding author for this work

Research output: Chapter in Book/Published conference output › Conference publication

Search results