skip to main content
Show Results with:

Results 3 - 12 of 20  for Everything in this catalogue

previous page 1 results 1 2 next page
Refined by: language: Unspecified remove access option: Purchase a copy remove author: Hennessy, M. remove
Result Number Material Type Add to My Shelf Action Record Details and Options
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

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
8
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

9
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

10
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

11
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

12
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

Results 3 - 12 of 20  for Everything in this catalogue

previous page 1 results 1 2 next page

Refine Search Results

Searching Remote Databases, Please Wait