skip to main content
Show Results with:

Results 1 - 10 of 12  for Everything in this catalogue

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

A denotational model for higher-order processes.

M Hennessy

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

Check library holdings

2
Material Type:
Book
Add to My workspace

A proof system for communicating processes with value - passing.

M Hennessy

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

Check library holdings

3
Material Type:
Book
Add to My workspace

Proof systems for message-passing process algebras.

M Hennessy

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

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

A theory of communicating processes with value-passing.

M Hennessy

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

Check library holdings

2 related resources
6
Material Type:
Book
Add to My workspace

Towards a semantic theory of CML.

W Ferreira

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

Check library holdings

7
Material Type:
Book
Add to My workspace

Adding action refinement to a finite process algebra.

L Aceto

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

Check library holdings

8
Material Type:
Book
Add to My workspace

Testing equivalence as a bisimulation technique.

R Cleaveland

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

Check library holdings

9
Material Type:
Book
Add to My workspace

A process algebra for timed systems.

M Hennessy

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

Check library holdings

10
Material Type:
Book
Add to My workspace

Observing localities.

G Boudol

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

Check library holdings

Results 1 - 10 of 12  for Everything in this catalogue

results 1 2 next page

Refine Search Results

Refine my results

Author/Contributor 

  1. Boudol, G.  (2)
  2. Aceto, L.  (2)
  3. Castellani, I.  (2)
  4. Arun-Kumar, S.  (1)
  5. Lin, H  (1)
  6. Ferreira, W.  (1)
  7. Ingolfsdottir, A.  (1)
  8. Cleaveland, R.  (1)
  9. Regan, Tim  (1)
  10. Refine further open sub menu

Creation date 

From To
  1. Before1989  (1)
  2. 1989To1989  (3)
  3. 1990To1990  (2)
  4. 1991To1992  (5)
  5. After 1992  (2)
  6. Refine further open sub menu

Searching Remote Databases, Please Wait