32 citations · 61 across the 17 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.PL2016
Higher-Order Linearisability
Andrzej S. Murawski, Nikos Tzevelekos
Linearisability is a central notion for verifying concurrent libraries: a given library is proven safe if its operational history can be rearranged into a new sequential one which,…
cs.PL2016
Block structure vs scope extrusion: between innocence and omniscience
Andrzej S. Murawski, Nikos Tzevelekos
We study the semantic meaning of block structure using game semantics. To that end, we introduce the notion of block-innocent strategies and characterise call-by-value computation…