Higher-Order Linearisability.

Andrzej S. Murawski, Nikos Tzevelekos

Browse the full CONCUR paper archive.