skip to main content
Show Results with:

9 results  for Everything in this catalogue

Refined by: subject: Computer software remove creation date: 1995To2000 remove author: Hennessy, Matthew. remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Book
Add to My workspace

The security picalculus and non-interference.

Matthew Hennessy

University of Sussex, Computer Science, 2000.

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

Assigning types to processes.

Nobuko Yoshida

University of Sussex, Computer Science, 1999.

Check library holdings

4
Material Type:
Book
Add to My workspace

Distributed processes and location failures.

James Riely

University of Sussex, Computer Science, 1997.

Check library holdings

5
Material Type:
Book
Add to My workspace

Full abstractness for a functional/concurrent language with higher-order value-passing.

Takis Hartonas

University of Sussex, Computer Science, 1997.

Check library holdings

6
Material Type:
Book
Add to My workspace

Resource access control in systems of mobile agents.

Matthew Hennessy

University of Sussex, Computer Science, 1998.

Check library holdings

7
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

8
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

9
Material Type:
Book
Add to My workspace

A theory of weak bisimulation for core CML.

William Ferreira

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

Check library holdings

9 results  for Everything in this catalogue

Searching Remote Databases, Please Wait