skip to main content
Show Results with:
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