A Concurrency Framework for Priority-Aware Intercomponent Requests in CAmkES on seL4.

Marion Sudvarg, Chris Gill

Browse the full RTCSA paper archive.