skip to main content
Show Results with:

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

Termination, deadlock and divergence.

L Aceto

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

Check library holdings

3
Material Type:
Book
Add to My workspace

Symbolic bisimulations.

M Hennessy

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

Check library holdings

4
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

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

Adding action refinement to a finite process algebra.

L Aceto

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

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

Testing equivalence as a bisimulation technique.

R Cleaveland

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

Check library holdings

10
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

Results 1 - 10 of 13  for Everything in this catalogue

results 1 2 next page

Refine Search Results

Refine my results

Author/Contributor 

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

Creation date 

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

Searching Remote Databases, Please Wait