Assigning types to processes (0)

by N Yoshida, M Hennessy
Venue:In Proceedings, Fifteenth Annual IEEE Symposium on Logic in Computer Science