A Filter Model for Concurrent lambda-Calculus

Mariangiola Dezani-Ciancaglini, Ugo de Liguoro, Adolfo Piperno. A Filter Model for Concurrent lambda-Calculus. SIAM Journal on Computing, 27(5):1376-1419, 1998. [doi]

Abstract

Abstract is missing.