skip to main content
Show Results with:

Results 1 - 10 of 39  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:
Article
Add to My workspace

Eventual Consistency for CRDTs

Jagadeesan, Radha; Riely, James

Lecture notes in computer science. Number 10801 (2018); pp 968-998 -- Springer

Check library holdings

2
Material Type:
Article
Add to My workspace

From Sequential Specifications to Eventual Consistency

Jagadeesan, Radha; Riely, James

Lecture notes in computer science. Number 9135 (2015); pp 247-259 -- Springer

Check library holdings

3
Material Type:
Article
Add to My workspace

On abstraction and compositionality for weak-memory linearisability

Dongol, Brijesh et al.

Lecture notes in computer science. Number 10747 (2018); pp 183-204 -- Springer

Check library holdings

4
Material Type:
Article
Add to My workspace

An extensible approach to session polymorphism†

GOTO, MATTHEW et al.

Mathematical structures in computer science: MSCS. Volume 26:Number 3 (2016); pp 465-509 -- Cambridge University Press

Online access

5
James Riely Gordon : his courthouses and other public architecture / Chris Meister.
Material Type:
Book
Add to My workspace

James Riely Gordon : his courthouses and other public architecture / Chris Meister.

Chris Meister, 1957-

Lubbock, Tex. : Texas Tech University Press, c2011.

Check library holdings and other locations

6
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

7
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

8
Material Type:
Book
Add to My workspace

Distributed processes and location failures.

James Riely

University of Sussex, Computer Science, 1997.

Check library holdings

9
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

10
Material Type:
Book
Add to My workspace

Information flow vs. resource access in the asynchronous pi-calculus.

Matthew Hennessy

University of Sussex, Computer Science, Apr 2000.

Check library holdings

Results 1 - 10 of 39  for Everything in this catalogue

results 1 2 3 4 next page

Refine Search Results

Refine my results

Access Options 

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

Material type 

  1. Articles  (33)
  2. Books  (6)
  3. Refine further open sub menu

Creation date 

From To
  1. Before1997  (7)
  2. 1997To2007  (4)
  3. 2008To2010  (2)
  4. 2011To2015  (9)
  5. After 2015  (16)
  6. Refine further open sub menu

Additional Features 

  1. Abstract  (21)
  2. No Abstract  (12)
  3. Refine further open sub menu

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. Riely, James
  2. Rie, K.-T.
  3. James, A. S.
  4. Matthews, A
  5. Riely, Gregory J

Searching Remote Databases, Please Wait