skip to main content
Show Results with:

6 results  for Everything in this catalogue

Refined by: subject: Computer software remove author: Rathke, Julian. remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Book
Add to My workspace

Symbolic techniques for value-passing calculi.

Julian Rathke

University of Sussex, Computer Science, Jan 2000.

Check library holdings

2
Material Type:
Book
Add to My workspace

Typed behavioural equivalences for processes in the presence of subtyping.

Matthew Hennessy

University of Sussex, Computer Science, 2001.

Check library holdings

3
Material Type:
Book
Add to My workspace

Towards a theory of bisimulation for local names.

Alan Jeffrey

University of Sussex, Computer Science, Jan 2000.

Check library holdings

4
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

5
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

6
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

6 results  for Everything in this catalogue

Refine Search Results

Refine my results

Author/Contributor 

  1. Jeffrey, Alan  (5)
  2. Hennessy, Matthew  (1)
  3. Refine further open sub menu

Creation date 

From To

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
  4. Hennessy, Matthew

Searching Remote Databases, Please Wait