skip to main content
Show Results with:

Results 1 - 10 of 14  for Everything in this catalogue

results 1 2 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Book
Add to My workspace

Semantics for core concurrent ML using computation types.

Alan Jeffrey

University of Sussex, Computer Science, 1996.

Check library holdings

2
Material Type:
Book
Add to My workspace

A fully abstract denotational semantics for the #pi#-calculus.

Matthew Hennessy

University of Sussex, Computer Science, 1996.

Check library holdings

3
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

4
Material Type:
Book
Add to My workspace

Subtyping and locality in distributed higher order processes.

Nobuko Yoshida

University of Sussex, Computer Science, 1999.

Check library holdings

5
Material Type:
Book
Add to My workspace

Minimality and separation results on asynchronous mobile processes.

Nobuko Yoshida

University of Sussex, Computer Science, 1998.

Check library holdings

6
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

7
Material Type:
Book
Add to My workspace

Local #pi#-calculus at work : mobile projects as mobile processes.

Massimo Merro

University of Sussex, Computer Science, 2001.

Check library holdings

8
Material Type:
Book
Add to My workspace

On asynchrony in name-passing calculi.

Massimo Merro

University of Sussex, Computer Science, 2001.

Check library holdings

9
Material Type:
Book
Add to My workspace

Trust and partial typing in open systems of mobile agents.

James Riely

University of Sussex, Computer Science, 1998.

Check library holdings

10
Material Type:
Book
Add to My workspace

Type-safe execution of mobile agents in anonymous networks.

Matthew Hennessy

University of Sussex, Computer Science, 1998.

Check library holdings

Results 1 - 10 of 14  for Everything in this catalogue

results 1 2 next page

Searching Remote Databases, Please Wait