A Model of Cooperative Threads

DOI10.2168/LMCS-6(4:2)2010zbMath1202.68105arXiv1009.2405OpenAlexW3102485161MaRDI QIDQ3064166

Martín Abadi, Gordon D. Plotkin

Publication date: 20 December 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1009.2405

zbMATH Keywords

operational semanticsdenotational semanticsmonadtransaction

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

An algebraic theory for shared-state concurrency ⋮ Dynamic structural operational semantics

This page was built for publication: A Model of Cooperative Threads