A Model of Dynamic Separation for Transactional Memory

From MaRDI portal

Revision as of 00:44, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3541008

Jump to:navigation, search

DOI10.1007/978-3-540-85361-9_5zbMath1160.68341OpenAlexW2138411837MaRDI QIDQ3541008

Tim Harris, Martín Abadi, Katherine F. Moore

Publication date: 25 November 2008

Published in: CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.164.7821

Mathematics Subject Classification ID

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

Related Items (1)

Perspectives on Transactional Memory

This page was built for publication: A Model of Dynamic Separation for Transactional Memory

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3541008&oldid=16917386"