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

Document Supply 7623.617100 7/94 Shelfmark(s)

Searching Remote Databases, Please Wait