skip to main content
Show Results with:

Results 11 - 20 of 54  for Everything in this catalogue

previous page 1 results 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Material Type:
Book
Add to My workspace

Tableau-based model checking in the propositional mu-calculus.

Rance Cleaveland

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

Check library holdings

12
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

13
Material Type:
Book
Add to My workspace

Untimed and misrepresented connectionism and the computer metaphor.

Inman Harvey

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

Check library holdings

14
Material Type:
Book
Add to My workspace

Categorical logic of names and abstraction in action calculi.

Dusko Pavlović

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

Check library holdings

15
Material Type:
Book
Add to My workspace

Deriving complete inference systems for a class of GSOS languages generating regular behaviours.

Luca Aceto

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

Check library holdings

16
Material Type:
Book
Add to My workspace

A proof system for weak ST-bisimulation over a finite process algebra.

Matthew Hennessy

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

Check library holdings

17
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

18
Material Type:
Book
Add to My workspace

Parametricity as isomorphism.

Edmund Robinson

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

Check library holdings

19
Material Type:
Book
Add to My workspace

Symbolic bisimulations.

M Hennessy

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

Check library holdings

20
Material Type:
Book
Add to My workspace

Categorical datatypes.

G C Wraith

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

Check library holdings

Results 11 - 20 of 54  for Everything in this catalogue

previous page 1 results 2 3 4 5 next page

Refine Search Results

Refine my results

Access Options 

  1. Purchase a copy  (52)
  2. Request to Reading Room  (2)
  3. Online: Reading Room only  (2)
  4. Online  (2)
  5. Refine further open sub menu

Material type 

  1. Books  (52)
  2. Theses  (2)
  3. Refine further open sub menu

Creation date 

From To
  1. Before1989  (6)
  2. 1989To1990  (9)
  3. 1991To1992  (11)
  4. 1993To1995  (12)
  5. After 1995  (15)
  6. Refine further open sub menu

Language 

  1. Unspecified  (50)
  2. English  (4)
  3. Refine further open sub menu

Searching Remote Databases, Please Wait