A filter model for concurrent λ -calculus (1998)

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