On reducing linearizability to state reachability (Q1641012): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||||||||||||||
(6 intermediate revisions by 5 users not shown) | |||||||||||||||
aliases / en / 0 | aliases / en / 0 | ||||||||||||||
On Reducing Linearizability to State Reachability | |||||||||||||||
description / en | description / en | ||||||||||||||
scientific article | scientific article; zbMATH DE number 6504583 | ||||||||||||||
Property / title | |||||||||||||||
On Reducing Linearizability to State Reachability (English) | |||||||||||||||
Property / title: On Reducing Linearizability to State Reachability (English) / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1395.68089 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / DOI | |||||||||||||||
Property / DOI: 10.1007/978-3-662-47666-6_8 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / published in | |||||||||||||||
Property / published in: Automata, Languages, and Programming / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / publication date | |||||||||||||||
4 November 2015
| |||||||||||||||
Property / publication date: 4 November 2015 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 6504583 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / MaRDI profile type | |||||||||||||||
Property / MaRDI profile type: MaRDI publication profile / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W2795782844 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W1717387230 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / arXiv ID | |||||||||||||||
Property / arXiv ID: 1502.06882 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: An Integrated Specification and Verification Technique for Highly Concurrent Data Structures / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Model-checking of correctness conditions for concurrent objects / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Verifying Concurrent Programs against Sequential Specifications / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Tractable Refinement Checking for Concurrent Objects / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: On reducing linearizability to state reachability / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: A Scalable, Correct Time-Stamped Stack / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Q4247290 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Abstraction for concurrent objects / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Testing Shared Memories / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: On the complexity of linearizability / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Aspect-Oriented Linearizability Proofs / rank | |||||||||||||||
Normal rank | |||||||||||||||
links / mardi / name | links / mardi / name | ||||||||||||||
Latest revision as of 01:10, 11 July 2024
scientific article; zbMATH DE number 6504583
- On Reducing Linearizability to State Reachability
Language | Label | Description | Also known as |
---|---|---|---|
English | On reducing linearizability to state reachability |
scientific article; zbMATH DE number 6504583 |
|
Statements
On reducing linearizability to state reachability (English)
0 references
On Reducing Linearizability to State Reachability (English)
0 references
14 June 2018
0 references
4 November 2015
0 references
0 references