J. 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

This page was built for person: J. Riely