Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Riely, James"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Between linearizability and quiescent consistency: Quantitative quiescent consistency
Radha Jagadeesan
,
James Riely
Lecture Notes in Computer Science
8573
, 2014, pp. 220-231
\lambda
-RBAC: Programming with role-based access controll
Radha Jagadeesan
,
Alan Jeffrey
,
Corin Pitcher
,
James Riely
Lecture Notes in Computer Science
4052
, 2006, pp. 456-467
Resource access control in systems of mobile agents
Matthew Hennessy
,
James Riely
Information and Computation
173
(1), 2002, pp. 82-120
Distributed processes and location failures
James Riely
,
Matthew Hennessy
Theoretical Computer Science
266
(1-2), 2001, pp. 693-735
Information flow vs. resource access in the asynchronous Pi-calculus
Matthew Hennessy
,
James Riely
Lecture Notes in Computer Science
1853
, 2000, pp. 415-427
Distributed processes and location failures
James Riely
,
Matthew Hennessy
Lecture Notes in Computer Science
1256
, 1997, pp. 471-481
Testing-based abstractions for value-passing systems
Rance Cleaveland
,
James Riely
Lecture Notes in Computer Science
836
, 1994, pp. 417-432