skip to main content
Show Results with:

Results 1 - 10 of 20  for Everything in this catalogue

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
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 20  for Everything in this catalogue

results 1 2 next page

Refine Search Results

Searching Remote Databases, Please Wait