Fair Cooperative Multithreading

DOI10.1007/978-3-540-74407-8_19zbMATH Open1151.68358OpenAlexW2157995936MaRDI QIDQ3525643FDOQ3525643

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

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

zbMATH Keywords

concurrent programming

Mathematics Subject Classification ID

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

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)