skip to main content
Show Results with:

2 results  for Everything in this catalogue

Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

2
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 results  for Everything in this catalogue

Searching Remote Databases, Please Wait