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

Searching Remote Databases, Please Wait