skip to main content
Show Results with:

Proof systems for message-passing process algebras.

M Hennessy

University of Sussex, School of Cognitive and Computing Science, 1993.

Check library holdings

Searching Remote Databases, Please Wait