skip to main content
Show Results with:

A proof system for communicating processes with value - passing.

M Hennessy

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

Check library holdings

Document Supply 7623.617100 SU-CS-R--5/89 Shelfmark(s)

Searching Remote Databases, Please Wait