skip to main content
Show Results with:

Results 1 - 10 of 15  for Everything in this catalogue

results 1 2 next page
Refined by: subject: Computer software 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

A temporal process algebra.

M Hennessy

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

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, 1989.

Check library holdings

2 related resources
8
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

9
Material Type:
Book
Add to My workspace

Observing localities.

G Boudol

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

Check library holdings

10
Material Type:
Book
Add to My workspace

Combining the typed #lambda#-calculus with CCS.

W Ferreira

University of Sussex, Computer Science, 1996.

Check library holdings

Results 1 - 10 of 15  for Everything in this catalogue

results 1 2 next page

Searching Remote Databases, Please Wait