A Filter Model for Concurrent Lambda-Calculus (1998)

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