May and Must Convergencey in Concurrent Lambda-Calculus.

Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro

Browse the full MFCS paper archive.