Asynchronous Cooperative Contracts for Cooperative Scheduling

Published in SEFM, 2019

Recommended citation: Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen. (2019). SEFM. LNCS 11724