skip to main content
Show Results with:

Unique Fixpoint Induction for Message-Passing Process Calculi

Hennessy, M.; Lin, H.

UNIVERSITY OF SUSSEX Part: Part 6; -- 1995

Check library holdings

Notes here allow you and other users to comment and make notes on items, viewable by the whole community.
NB: Please use the Report Catalogue Error form to advise us of catalogue inaccuracies.

Log in to add a note

Tags allow you and others to define and search on related groups of items.

Log in to add / remove tags

Searching Remote Databases, Please Wait