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

Combining the typed #lambda#-calculus with CCS.

W Ferreira

University of Sussex, Computer Science, 1996.

Check library holdings

2
Material Type:
Book
Add to My workspace

Unique fixpoint induction for message-passing process calculi.

M Hennessy

University of Sussex, Computer Science, 1995.

Check library holdings

3
Material Type:
Book
Add to My workspace

Local model checking for a value-based modal #mu#-calculus.

J Rathke

University of Sussex, Computer Science, 1996.

Check library holdings

3 results  for Everything in this catalogue

Refine Search Results

Refine my results

Author/Contributor 

  1. Lin, H.  (1)
  2. Ferreira, W.  (1)
  3. Jeffrey, A S A.  (1)
  4. Rathke, J.  (1)
  5. 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. Hennessy, M
  3. Lin, H.
  4. Ferreira, W.
  5. Jeffrey, A S A.

Searching Remote Databases, Please Wait