A Filter Model for Concurrent -Calculus (1998)

by Mariangiola Dezani-ciancaglini , Ugo De'liguoro , Adolfo Piperno
Venue:SIAM J. Comput
Citations:8 - 8 self