skip to main content
Show Results with:

1 results  for Everything in this catalogue

Result Number Material Type Add to My Shelf Action Record Details and Options
Material Type:
Add to My workspace

Typed behavioural equivalences for processes in the presence of subtyping.

Matthew Hennessy

University of Sussex, Computer Science, 2001.

Check library holdings

1 results  for Everything in this catalogue

Refine Search Results

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. Hennessy, Matthew
  2. University of Sussex, Computer Science
  3. Rathke, Julian.

Searching Remote Databases, Please Wait