Asynchronous Cooperative Contracts for Cooperative Scheduling

DOI10.1007/978-3-030-30446-1_3MaRDI QIDQ6488976

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

Publication date: 14 March 2024

Mathematics Subject Classification ID

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

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