J. Riely

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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. Quantitative quiescent consistency	2014-07-01	Paper
Quarantining weakness. Compositional reasoning under relaxed memory models (extended abstract)	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
scientific article; zbMATH DE number 1670841 (Why is no real title available?)	2001-12-09	Paper
scientific article; zbMATH DE number 1617332 (Why is no real title available?)	2001-07-11	Paper
scientific article; zbMATH DE number 1231689 (Why is no real title available?)	1999-01-10	Paper

Research outcomes over time

This page was built for person: J. Riely