James Riely

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
On abstraction and compositionality for weak-memory linearisability	2020-07-07	Paper
Eventual consistency for CRDTs	2019-09-13	Paper
On Thin Air Reads Towards an Event Structures Model of Relaxed Memory	2019-05-17	Paper
Distributed processes and location failures	2018-07-04	Paper
On Thin Air Reads Towards an Event Structures Model of Relaxed Memory	2018-04-23	Paper
An extensible approach to session polymorphism	2016-07-28	Paper
From Sequential Specifications to Eventual Consistency	2015-11-04	Paper
Noninterference for Intuitionist Necessity	2015-01-06	Paper
Between Linearizability and Quiescent Consistency	2014-07-01	Paper
Quarantining Weakness	2013-08-05	Paper
Brookes Is Relaxed, Almost!	2012-06-22	Paper
Generative Operational Semantics for Relaxed Memory Models	2010-05-04	Paper
Open Bisimulation for Aspects	2009-06-30	Paper
Lambda-RBAC: Programming with Role-Based Access Control	2008-08-07	Paper
λ-RBAC: Programming with Role-Based Access Control	2007-09-11	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Typed parametric polymorphism for aspects	2006-12-14	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
Trust and partial typing in open systems of mobile agents	2004-08-06	Paper
Resource access control in systems of mobile agents	2003-01-14	Paper
Distributed processes and location failures	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2754161	2001-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q2722071	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4223018	1999-01-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: James Riely