skip to main content
Show Results with:

1 results  for Everything in this catalogue

Refined by: language: Unspecified remove journal title: Report 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

Hennessy, M.; Lin, H.

UNIVERSITY OF SUSSEX Part: Part 6; -- 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. Lin, H.
  2. Hennessy, M.

Searching Remote Databases, Please Wait