skip to main content
Primo Advanced Search
Advanced search    Note: Search terms must be in lower case
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Date range searching is not available for Article, Issue and Archived Website records; nor does it work for Audio records.
Refined by: creation date: 1995To2000 remove subject: Computer software remove author: Ferreira, William. remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Book
Add to My workspace

On testing the observable actions of processes.

William Ferreira

University of Sussex, Computer Science, 1997.

Check library holdings

2
Material Type:
Book
Add to My workspace

A theory of weak bisimulation for core CML.

William Ferreira

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

Check library holdings

Refine Search Results

Creation date 

From To

Searching Remote Databases, Please Wait