skip to main content
Show Results with:

Results 11 - 20 of 20  for Everything in this catalogue

previous page 1 results 2
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
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

13
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

14
Material Type:
Book
Add to My workspace

Observing localities.

G Boudol

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

Check library holdings

15
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

16
Material Type:
Book
Add to My workspace

Unique fixpoint induction for message-passing process calculi.

M Hennessy

University of Sussex, Computer Science, 1995.

Check library holdings

17
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

18
Material Type:
Book
Add to My workspace

An efficiency preorder for processes.

S Arun-Kumar

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

Check library holdings

19
Material Type:
Book
Add to My workspace

Local model checking for a value-based modal #mu#-calculus.

J Rathke

University of Sussex, Computer Science, 1996.

Check library holdings

20
Material Type:
Article
Add to My workspace

Unique Fixpoint Induction for Message-Passing Process Calculi

Hennessy, M.; Lin, H.

UNIVERSITY OF SUSSEX Part: Part 6; -- 1995

Check library holdings

Results 11 - 20 of 20  for Everything in this catalogue

previous page 1 results 2

Refine Search Results

Searching Remote Databases, Please Wait