Fair Cooperative Multithreading

DOI10.1007/978-3-540-74407-8_19MaRDI QIDQ3525643zbMATH OpenOpenAlexFDO

Authors Gérard Boudol

Publication date 18 September 2008

Published in CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74407-8_19

zbMATH Keywords

concurrent programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Typing termination in a higher-order concurrent imperative language
• A model of cooperative threads
• A model of cooperative threads
• Fairness, resources, and separation
• scientific article; zbMATH DE number 3846836

Cited in

(7)

• CONCUR 2004 - Concurrency Theory
• Synchronous cooperation for explicit multi-threading
• Resource control for synchronous cooperative threads
• A model of cooperative threads
• A model of cooperative threads
• Asynchronous Cooperative Contracts for Cooperative Scheduling
• Typing termination in a higher-order concurrent imperative language

This page was built for publication: Fair Cooperative Multithreading

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525643)