28 citations · 37 across the 13 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.PL2014★ 5 cited
Between Linearizability and Quiescent Consistency: Quantitative Quiescent Consistency
Radha Jagadeesan, James Riely
Linearizability is the de facto correctness criterion for concurrent data structures. Unfortunately, linearizability imposes a performance penalty which scales linearly in the numb…
cs.LO2014
Game Semantics for Access Control
Samson Abramsky, Radha jagadeesan
We introduce a semantic approach to the study of logics for access control and dependency analysis, based on Game Semantics. We use a variant of AJM games with explicit justificati…