skip to main content
Show Results with:

Unique fixpoint induction for message-passing process calculi.

M Hennessy

University of Sussex, Computer Science, 1995.

Check library holdings

Document Supply 7623.617100 SU-CS--6/95 Shelfmark(s)

Searching Remote Databases, Please Wait