A model of cooperative threads

DOI10.1145/1480881.1480887zbMATH Open1315.68079OpenAlexW1995065158MaRDI QIDQ5261503FDOQ5261503

Martín Abadi, Gordon D. Plotkin

Publication date: 3 July 2015

Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1480881.1480887

Recommendations

• A model of cooperative threads
• Fair Cooperative Multithreading
• Towards a semantic theory of CML
• Synchronous cooperation for explicit multi-threading
• Denotational semantics for thread algebra

zbMATH Keywords

monaddenotational semanticstransactionoperational semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Cited In (5)

• Dynamic structural operational semantics
• Latent Fibrations: Fibrations for Categories of Partial Maps
• Fair Cooperative Multithreading
• A comparison of concurrent programming and cooperative multithreading
• Perspectives on Transactional Memory

This page was built for publication: A model of cooperative threads

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