A Model of Cooperative Threads
From MaRDI portal
Publication:3064166
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
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
This page was built for publication: A Model of Cooperative Threads