skip to main content
Show Results with:

Symbolic bisimulations and proof systems for pi-calculus.

H Lin

University of Sussex, School of Cognitive and Computing Science, [1994]

Check library holdings

Searching Remote Databases, Please Wait