skip to main content
Show Results with:

Results 41 - 50 of 96  for Everything in this catalogue

previous page 3 4 results 5 6 7 next page
Refined by: subject: Computer software remove creation date: 1995To2000 remove
Result Number Material Type Add to My Shelf Action Record Details and Options
41
Material Type:
Book
Add to My workspace

Specifying interaction categories.

Samson Abramsky, 1953-

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

Check library holdings

42
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

43
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

44
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

45
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

46
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

47
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

48
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

49
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

50
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

Results 41 - 50 of 96  for Everything in this catalogue

previous page 3 4 results 5 6 7 next page

Refine Search Results

Refine my results

Access Options 

  1. Purchase a copy  (55)
  2. Online: Reading Room only  (43)
  3. Online  (43)
  4. Request to Reading Room  (3)
  5. Refine further open sub menu

Material type 

  1. Books  (56)
  2. Theses  (43)
  3. Refine further open sub menu

Creation date 

From To
  1. Before1996  (22)
  2. 1996To1996  (28)
  3. 1997To1997  (9)
  4. 1998To1999  (30)
  5. After 1999  (8)
  6. Refine further open sub menu

Language 

  1. Unspecified  (94)
  2. English  (2)
  3. Refine further open sub menu

Searching Remote Databases, Please Wait