A Logic of Capabilities.

Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer

Browse the full LFCS paper archive.