skip to main content
Show Results with:

Results 1 - 10 of 16  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

Timed process algebras : a tutorial.

M Hennessy

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

Check library holdings

2
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

3
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

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

Symbolic bisimulations.

M Hennessy

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

Check library holdings

6
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

7
Material Type:
Book
Add to My workspace

Weak bisimulations for a calculus of broadcasting systems.

M Hennessy

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

Check library holdings

8
Material Type:
Book
Add to My workspace

A temporal process algebra.

M Hennessy

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

Check library holdings

9
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
10
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

Results 1 - 10 of 16  for Everything in this catalogue

results 1 2 next page

Refine Search Results

Refine my results

Author/Contributor 

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

Creation date 

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

Searching Remote Databases, Please Wait