Minimality and Separation Results on Asynchronous Mobile Processes - Representability Theorems by Concurrent Combinators (Extended Abstract) (1998)

by Nobuko Yoshida
Venue:In Proceedings of CONCUR '98, number 1466 in Lecture Notes in Computer Science
Citations:13 - 1 self