skip to main content
Show Results with:

3 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

On relating concurrency and nondeterminism.

L Aceto

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

Check library holdings

2
Material Type:
Book
Add to My workspace

Full abstraction for series-parallel pomsets.

L Aceto

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

Check library holdings

3
Material Type:
Book
Add to My workspace

Termination, deadlock and divergence.

L Aceto

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

Check library holdings

3 results  for Everything in this catalogue

Refine Search Results

Refine my results

Creation date 

From To

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. University of Sussex. Department of Informatics.
  2. Aceto, L.
  3. Hennessy, M.

Searching Remote Databases, Please Wait