skip to main content
Show Results with:

Results 1 - 10 of 213  for Everything in this catalogue

results 1 2 3 4 5 next page
Refined by: material type: Articles remove creation date: Before1997 remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Article
Add to My workspace

Use of monograph bookstock in the University of Sussex Library for teaching and/or for research: an analysis

Pendlebury, J. M. et al.

British journal of academic librarianship. VOL 9; ISSUE 1/2, ; 1994, 127 -- TAYLOR GRAHAM Part: Part 1/2; -- 1994

Check library holdings

2
Material Type:
Article
Add to My workspace

Strong Bisimulations for a Calculus of Broadcasting Systems

Hennessy, M.; Rathke, J.

UNIVERSITY OF SUSSEX Part: Part 1; -- 1995

Check library holdings

3
Material Type:
Article
Add to My workspace

Semantics for core Concurrent ML using computation types

Jeffrey, A.

UNIVERSITY OF SUSSEX Part: Part 3; -- 1996

Check library holdings

4
Material Type:
Article
Add to My workspace

A Theory of Weak Bisimulation for Core CML

Ferreira, W.; Hennessy, M.; Jeffrey, A.

UNIVERSITY OF SUSSEX Part: Part 5; -- 1995

Check library holdings

5
Material Type:
Article
Add to My workspace

Weak Bisimulations for a Calculus of Broadcasting Systems

Hennessy, M.; Rathke, J.

UNIVERSITY OF SUSSEX Part: Part 3; -- 1995

Check library holdings

6
Material Type:
Article
Add to My workspace

Specifying Interaction Categories

Abramsky, S.; Pavlovic, D.

UNIVERSITY OF SUSSEX Part: Part 7; -- 1996

Check library holdings

7
Material Type:
Article
Add to My workspace

Unique Fixpoint Induction for Message-Passing Process Calculi

Hennessy, M.; Lin, H.

UNIVERSITY OF SUSSEX Part: Part 6; -- 1995

Check library holdings

8
Material Type:
Article
Add to My workspace

Combining the typed lamda-calculus with CCS

Ferreira, W.; Hennessy, M.; Jeffrey, A. S. A.

UNIVERSITY OF SUSSEX Part: Part 2; -- 1996

Check library holdings

9
Material Type:
Article
Add to My workspace

Categorical Logic of Names and Abstraction in Action Calculi

Pavlovic, D.

UNIVERSITY OF SUSSEX Part: Part 6; -- 1996

Check library holdings

10
Material Type:
Article
Add to My workspace

A Fully Abstract Denotational Semantics For the ã-Calculus

Hennessy, M.

UNIVERSITY OF SUSSEX Part: Part 4; -- 1996

Check library holdings

Results 1 - 10 of 213  for Everything in this catalogue

results 1 2 3 4 5 next page

Refine Search Results

Creation date 

From To

Language 

  1. English  (166)
  2. Unspecified  (14)
  3. Refine further open sub menu

Additional Features 

  1. Abstract  (1)
  2. No Abstract  (212)
  3. Refine further open sub menu

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. Arvanitis, T. N.
  2. Brook, J. K.
  3. Thompson, A
  4. Howell, A. J.
  5. Lemmen, R.

Searching Remote Databases, Please Wait