skip to main content
Show Results with:

1 results  for Everything in this catalogue

Refined by: language: Unspecified remove access option: Purchase a copy 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. Hennessy, M.
  2. Lin, H

Searching Remote Databases, Please Wait