Litcius/Paper detail

Composition and decomposition of multiparty sessions

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto

2020Journal of Logical and Algebraic Methods in Programming29 citationsDOIOpen Access PDF

Topics & Concepts

Computer scienceComposition (language)Modular designDistributed computingSession (web analytics)DecompositionTheoretical computer scienceWorld Wide WebProgramming languageEcologyPhilosophyBiologyLinguisticsDistributed systems and fault toleranceLogic, programming, and type systemsParallel Computing and Optimization Techniques
Composition and decomposition of multiparty sessions | Litcius