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

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) 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

• 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?)
• 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
• Key-ABS: a deductive verification tool for the concurrent modelling language ABS
• MULTILISP: a language for concurrent symbolic computation
• May-happen-in-parallel analysis for actor-based concurrency
• 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)