skip to main content
Show Results with:

4 results  for Everything in this catalogue

Refined by: subject: Computer software remove author: Merro, Massimo. remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Book
Add to My workspace

Bisimulation congruences in safe ambients.

Massimo Merro

University of Sussex, Computer Science, 2001.

Check library holdings

2
Material Type:
Book
Add to My workspace

On asynchrony in name-passing calculi.

Massimo Merro

University of Sussex, Computer Science, 2001.

Check library holdings

3
Material Type:
Book
Add to My workspace

Local #pi#-calculus at work : mobile projects as mobile processes.

Massimo Merro

University of Sussex, Computer Science, 2001.

Check library holdings

4
Material Type:
Book
Add to My workspace

Bisimulation proof methods for mobile ambients / Massimo Merro, Francesco Zappa Nardelli.

Massimo Merro

Brighton : University of Sussex, Computer Science, 2003.

Check library holdings

4 results  for Everything in this catalogue

Refine Search Results

Creation date 

From To

Searching Remote Databases, Please Wait