A linear decomposition of multiparty sessions for safe distributed programming
- Alceste Scalas*
- , Ornela Dardha
- , Raymond Hu
- , Nobuko Yoshida
*Corresponding author for this work
- University of Glasgow
- Royal Brompton Hospital
Research output: Chapter in Book/Published conference output › Conference publication
64
Link opens in a new tab
Citations
(Scopus)
55
Downloads
(Pure)