skip to main content
Show Results with:

3 results  for Everything in this catalogue

Refined by: subject: Computer software & programming remove creation date: 1995To2000 remove author: Yoshida, Nobuko remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Book
Add to My workspace

Assigning types to processes.

Nobuko Yoshida

University of Sussex, Computer Science, 1999.

Check library holdings

2
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

3
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

3 results  for Everything in this catalogue

Refine Search Results

Refine my results

Author/Contributor 

  1. Hennessy, Matthew.  (1)
  2. Hennessey, Matthew.  (1)
  3. Refine further open sub menu

Creation date 

From To

Searching Remote Databases, Please Wait