skip to main content
Show Results with:

1 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

1 results  for Everything in this catalogue

Refine Search Results

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. Hennessy, Matthew.
  2. University of Sussex. Department of Informatics.
  3. Ferreira, William.
  4. Jeffrey, Alan.

Searching Remote Databases, Please Wait