A filter model for concurrent lambda-calculus (1998)

by M Dezani-Ciancaglini, U de’Liguoro, A Piperno
Venue:SIAM Journal on Computing