Asynchronous Cooperative Contracts for Cooperative Scheduling
From MaRDI portal
Publication:6488976
DOI10.1007/978-3-030-30446-1_3MaRDI QIDQ6488976FDOQ6488976
Authors: Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen
Publication date: 14 March 2024
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)
Cites Work
- Programming Languages and Systems
- Key-ABS: a deductive verification tool for the concurrent modelling language ABS
- Title not available (Why is that?)
- Multiparty asynchronous session types
- Title not available (Why is that?)
- Tentative steps toward a development method for interfering programs
- Asynchronous and deterministic objects
- MULTILISP: a language for concurrent symbolic computation
- The semantics of future and an application
- A Complete Guide to the Future
- Title not available (Why is that?)
- A perspective on specifying and verifying concurrent modules
- Compositional reasoning about active objects with shared futures
- May-happen-in-parallel analysis for actor-based concurrency
- Stateful Behavioral Types for Active Objects
- Title not available (Why is that?)
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)