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

A theory of biosimulation for a fragment of concurrent ML with local names / Alan Jeffrey, Julian Rathke.

Alan Jeffrey

Brighton : University of Sussex, Computer Science, 2002.

Check library holdings

2
Material Type:
Book
Add to My workspace

A fully abstract may testing semantics for concurrent objects / Alan Jeffrey, Julian Rathke.

Alan Jeffrey

Brighton : University of Sussex, Computer Science, 2002.

Check library holdings

3
Material Type:
Book
Add to My workspace

Contextual equivalence for higher-order #pi#-calculus revisited / Alan Jeffrey, Julian Rathke.

Alan Jeffrey

Brighton : University of Sussex, Computer Science, 2002.

Check library holdings

2 related resources

3 results  for Everything in this catalogue

Refine Search Results

Refine my results

Subject 

  1. Mobile code  (1)
  2. Process languages  (1)
  3. Object oriented  (1)
  4. Object calculus  (1)
  5. Refine further open sub menu

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. University of Sussex, Computer Science
  2. Rathke, Julian.
  3. Jeffrey, Alan.

Searching Remote Databases, Please Wait