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

Nobuko Yoshida Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract). 131-146 http://link.springer.de/link/service/series/0558/bibs/1466/14660131.htm 1998 conf/concur/1998 CONCUR db/conf/concur/concur1998.html#Yoshida98