skip to main content
Show Results with:

6 results  for Everything in this catalogue

Refined by: subject: Computer software & programming remove subject: Pure mathematics remove creation date: Before1989 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

Behaviour equivalences : an approach to the semantics of processes.

M Hennessey

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

Check library holdings

4
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

5
Material Type:
Book
Add to My workspace

Categories of asynchronous systems.

Marek A Bednarczyk

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

Check library holdings

6
Material Type:
Book
Add to My workspace

Polymorphism is set theoretic, constructively.

A. M Pitts, (Andrew M.)

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

Check library holdings

6 results  for Everything in this catalogue

Searching Remote Databases, Please Wait