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

Searching Remote Databases, Please Wait