Asynchronous Cooperative Contracts for Cooperative Scheduling

DOI10.1007/978-3-030-30446-1_3MaRDI QIDQ6488976zbMATH OpenFDO

Authors Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen

Publication date 14 March 2024

Full work available at URL https://doi.org/10.1007/978-3-030-30446-1_3

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Synchronizing the asynchronous
• Beyond contracts for concurrency
• Fair Cooperative Multithreading
• Feasible reactivity for synchronous cooperative threads
• A model of cooperative threads

Cites work

• A Complete Guide to the Future
• A perspective on specifying and verifying concurrent modules
• Asynchronous and deterministic objects
• Compositional reasoning about active objects with shared futures
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3483531 (Why is no real title available?)
• scientific article; zbMATH DE number 1841809 (Why is no real title available?)
• scientific article; zbMATH DE number 6774232 (Why is no real title available?)
• Key-ABS: a deductive verification tool for the concurrent modelling language ABS
• May-happen-in-parallel analysis for actor-based concurrency
• MULTILISP: a language for concurrent symbolic computation
• Multiparty asynchronous session types
• Programming Languages and Systems
• Stateful Behavioral Types for Active Objects
• Tentative steps toward a development method for interfering programs
• The semantics of future and an application

This page was built for publication: Asynchronous Cooperative Contracts for Cooperative Scheduling

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