skip to main content
Show Results with:

Results 1 - 10 of 40  for Everything in this catalogue

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

Report.

Brighton : Computer Science, School of Cognitive and Computing Sciences, University of Sussex. 1987

Check library holdings

2
Material Type:
Book
Add to My workspace

A π-calculus with limited resources, garbage-collection and guarantees / David Teller.

David Teller

Brighton : University of Sussex, 2004.

Check library holdings

3
Material Type:
Book
Add to My workspace

Adding recursion to Dpi / Samuel Hym, Matthew Hennessy.

Samuel Hym

Brighton : University of Sussex, 2005.

Check library holdings

4
Material Type:
Book
Add to My workspace

A hybrid intuitionistic logic : semantics and decidability / Rohit Chadha, Damiano Macedonio, Vladimiro Sassone.

Rohit Chadha

Brighton : University of Sussex, 2005.

Check library holdings

5
Material Type:
Book
Add to My workspace

safeDpi : a language for controlling mobile code / Matthew Hennessy, Julian Rathke, Nobuko Yoshida.

Matthew Hennessy

Brighton : University of Sussex, 2003.

Check library holdings

6
Material Type:
Book
Add to My workspace

JPolicy : a Java extension for dynamic access control / Tim Owen, Ian Wakeman, Julian Rathke.

Tim Owen, 1971-

Brighton : University of Sussex, 2004.

Check library holdings

7
Material Type:
Book
Add to My workspace

Proof methodologies for behavioural equivalence in distributed π-calculus / Alberto Ciaffaglione, Matthew Hennessy, Julian Rathke.

Alberto Ciaffaglione

Brighton : University of Sussex, 2004.

Check library holdings

8
Material Type:
Book
Add to My workspace

Symbolic techniques for value-passing calculi.

Julian Rathke

University of Sussex, Computer Science, Jan 2000.

Check library holdings

9
Material Type:
Book
Add to My workspace

The security picalculus and non-interference.

Matthew Hennessy

University of Sussex, Computer Science, 2000.

Check library holdings

10
Material Type:
Book
Add to My workspace

Guarded induction on final coalgebras.

D Pavlovic

University of Sussex, Computer Science, 1998.

Check library holdings

Results 1 - 10 of 40  for Everything in this catalogue

results 1 2 3 4 next page

Refine Search Results

Refine my results

Material type 

  1. Books  (39)
  2. Journals  (1)
  3. Refine further open sub menu

Creation date 

From To
  1. Before1996  (2)
  2. 1996To1997  (7)
  3. 1998To1999  (7)
  4. 2000To2002  (13)
  5. After 2002  (8)
  6. Refine further open sub menu

Language 

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

Searching Remote Databases, Please Wait