skip to main content
Show Results with:

1 results  for Everything in this catalogue

Refined by: subject: Computer software remove creation date: 1995To2000 remove author: Hennessy, M. remove author: Lin, H remove
Result Number Material Type Add to My Shelf Action Record Details and Options
Material Type:
Add to My workspace

Unique fixpoint induction for message-passing process calculi.

M Hennessy

University of Sussex, Computer Science, 1995.

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. University of Sussex, Computer Science
  2. Lin, H
  3. Hennessy, M

Searching Remote Databases, Please Wait