skip to main content
Show Results with:

Results 1 - 10 of 54  for Everything in this catalogue

results 1 2 3 4 5 next page
Refined by: subject: Computer software remove subject: Pure mathematics remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Thesis
Add to My workspace

Proper decompositions of finitely presented groups.

A.N Bartholomew

Brighton : University of Sussex, 1987.

Online access

2
Material Type:
Book
Add to My workspace

Observing processes.

M Hennessey

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

Check library holdings

3
Material Type:
Book
Add to My workspace

On relating concurrency and nondeterminism.

L Aceto

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

Check library holdings

4
Material Type:
Book
Add to My workspace

PAM user manual (version 0.6).

Huimin Lin

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

Check library holdings

5
Material Type:
Book
Add to My workspace

GSOS and finite labelled transition systems.

Luca Aceto

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

Check library holdings

6
Material Type:
Book
Add to My workspace

A theory of testing for ACP.

Luca Aceto

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

Check library holdings

7
Material Type:
Book
Add to My workspace

A verification tool for value-passing processes.

Huimin Lin

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

Check library holdings

8
Material Type:
Book
Add to My workspace

Timed process algebras : a tutorial.

M Hennessy

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

Check library holdings

9
Material Type:
Book
Add to My workspace

On 'axiomatising finite concurrent processes'.

Luca Aceto

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

Check library holdings

10
Material Type:
Book
Add to My workspace

Behaviour equivalences : an approach to the semantics of processes.

M Hennessey

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

Check library holdings

Results 1 - 10 of 54  for Everything in this catalogue

results 1 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