Linearizability with Ownership Transfer

DOI10.1007/978-3-642-32940-1_19zbMath1364.68136arXiv1308.2507OpenAlexW2169289247MaRDI QIDQ5891776

Alexey Gotsman, Hongseok Yang

Publication date: 25 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

A perspective on specifying and verifying concurrent modules ⋮ Steps in modular specifications for concurrent modules (invited tutorial paper) ⋮ Proving Linearizability Using Partial Orders

This page was built for publication: Linearizability with Ownership Transfer