Publications
Filter by
Open menu
1 result for
N. Soundararajan
A proof system for distributed processes
A.E.K. Sobel
N. Soundararajan
1988
Acta Informatica