The following pages link to James Riely (Q856918):
Displaying 24 items.
- (Q236796) (redirect page) (← links)
- Typed parametric polymorphism for aspects (Q856919) (← links)
- Trust and partial typing in open systems of mobile agents (Q1826471) (← links)
- Resource access control in systems of mobile agents (Q1854507) (← links)
- Eventual consistency for CRDTs (Q2324017) (← links)
- (Q2722071) (← links)
- (Q2754161) (← links)
- Brookes Is Relaxed, Almost! (Q2892770) (← links)
- Noninterference for Intuitionist Necessity (Q2936242) (← links)
- On abstraction and compositionality for weak-memory linearisability (Q3296328) (← links)
- From Sequential Specifications to Eventual Consistency (Q3449480) (← links)
- Lambda-RBAC: Programming with Role-Based Access Control (Q3518267) (← links)
- Generative Operational Semantics for Relaxed Memory Models (Q3558229) (← links)
- λ-RBAC: Programming with Role-Based Access Control (Q3591428) (← links)
- Open Bisimulation for Aspects (Q3636798) (← links)
- (Q4223018) (← links)
- Distributed processes and location failures (Q4571978) (← links)
- On Thin Air Reads Towards an Event Structures Model of Relaxed Memory (Q4635939) (← links)
- Between Linearizability and Quiescent Consistency (Q5167840) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311475) (← links)
- Quarantining Weakness (Q5326303) (← links)
- An extensible approach to session polymorphism (Q5741569) (← links)
- Foundations of Software Science and Computation Structures (Q5899083) (← links)
- Distributed processes and location failures (Q5958774) (← links)
