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

Nobuko Yoshida

Browse the full CONCUR paper archive.