BASS: boxed ambients with safe sessions.

Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini

Browse the full PPDP paper archive.