skip to main content
Show Results with:

Results 1 - 10 of 91  for Everything in this catalogue

results 1 2 3 4 5 next page
Refined by: material type: Books remove subject: Pure mathematics remove
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

Complexity in one-D cellular automata : gliders, basins of attraction and the Z parameter.

Andrew Wuensche

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

Check library holdings

9
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

10
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

Results 1 - 10 of 91  for Everything in this catalogue

results 1 2 3 4 5 next page

Refine Search Results

Creation date 

From To
  1. Before1989  (9)
  2. 1989To1990  (13)
  3. 1991To1992  (24)
  4. 1993To1995  (28)
  5. After 1995  (16)
  6. Refine further open sub menu

Language 

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

Searching Remote Databases, Please Wait