A Filter Model for Concurrent -Calculus (1998)

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