skip to main content
Show Results with:

Results 1 - 10 of 75  for Everything in this catalogue

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

Semantic models for communicating processes with value passing.

A Ingolfsdottir

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

Check library holdings

2
Material Type:
Book
Add to My workspace

Symbolic bisimulations and proof systems for pi-calculus.

H Lin

University of Sussex, School of Cognitive and Computing Science, [1994]

Check library holdings

3
Material Type:
Book
Add to My workspace

PAM : a process algebra manipulator (version 1.0).

Huimin Lin

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

Check library holdings

4
Material Type:
Book
Add to My workspace

Concurrent testing of processes.

Matthew Hennessy

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

Check library holdings

5
Material Type:
Book
Add to My workspace

Observing processes.

M Hennessey

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

Check library holdings

6
Material Type:
Book
Add to My workspace

Axiomatising finite concurrent processes.

Matthew Hennessy

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

Check library holdings

7
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

8
Material Type:
Book
Add to My workspace

The puzzle of the persistent question marks : a case study of genetic drift.

Inman Harvey

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

Check library holdings

9
Material Type:
Book
Add to My workspace

A model for the #pi# calculus.

Matthew Hennessy

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

Check library holdings

10
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

Results 1 - 10 of 75  for Everything in this catalogue

results 1 2 3 4 5 next page

Refine Search Results

Searching Remote Databases, Please Wait