Quantitative relaxation of concurrent data structures (Q2931807)

From MaRDI portal

Jump to:navigation, search

scientific article

In more languages

Language	Label	Description	Also known as
English	Quantitative relaxation of concurrent data structures	scientific article

Statements

scholarly article

Quantitative relaxation of concurrent data structures (English)

Christoph Kirsch

Thomas A. Henzinger

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

publication date

27 November 2014

full work available at URL

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.8033

zbMATH Keywords

concurrent data structures

costs

quantitative models

relaxed semantics

MaRDI profile type

MaRDI publication profile

Identifiers

Sitelinks

Mathematics(1 entry)

mardi Publication:2931807

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2931807&oldid=31940431"