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

Searching Remote Databases, Please Wait