skip to main content
Show Results with:

6 results  for Everything in this catalogue

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

2
Material Type:
Book
Add to My workspace

Symbolic bisimulations.

M Hennessy

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

Check library holdings

3
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
4
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

5
Material Type:
Book
Add to My workspace

Observing localities.

G Boudol

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

Check library holdings

6
Material Type:
Book
Add to My workspace

A theory of processes with localities.

G Boudol

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

Check library holdings

6 results  for Everything in this catalogue

Refine Search Results

Refine my results

Author/Contributor 

  1. Boudol, G.  (2)
  2. Castellani, I.  (2)
  3. Lin, H.  (1)
  4. Ingolfsdottir, A.  (1)
  5. Regan, Tim  (1)
  6. Refine further open sub menu

Creation date 

From To

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. Hennessy, M.
  2. University of Sussex. Department of Informatics.
  3. Boudol, G.
  4. Castellani, I.
  5. Lin, H.

Searching Remote Databases, Please Wait