skip to main content
Show Results with:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Book
Add to My workspace

Subtyping and locality in distributed higher order processes.

Nobuko Yoshida

University of Sussex, Computer Science, 1999.

Check library holdings

2
Material Type:
Book
Add to My workspace

Minimality and separation results on asynchronous mobile processes.

Nobuko Yoshida

University of Sussex, Computer Science, 1998.

Check library holdings

Refine Search Results

Refine my results

Creation date 

From To

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. University of Sussex, Computer Science
  2. Yoshida, Nobuko
  3. Hennessey, Matthew.

Searching Remote Databases, Please Wait