Amanote Research
Register
Sign In
TSO-to-TSO Linearizability Is Undecidable
Acta Informatica
- Germany
doi 10.1007/s00236-017-0305-6
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computer Networks
Software
Information Systems
Communications
Date
October 23, 2017
Authors
Chao Wang
Yi Lv
Peng Wu
Publisher
Springer Science and Business Media LLC
Related search
TSO-CC: Consistency Directed Cache Coherence for TSO
Admit Your Weakness: Verifying Correctness on TSO Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tch'ouen Ts'iou Et Tso Tchouan (Chunqiu Zuozhuan).
Getting Rid of Store-Buffers in TSO Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Interaction Between DSO and TSO to Increase DG Penetration - The Portuguese Example
A Fair Method for Centralized Optimization of Multi-Tso Power Systems
International Journal of Electrical Power and Energy Systems
Electronic Engineering
Power Technology
Electrical
Energy Engineering
Exhumation of the UHP Tso Morari Eclogite as a Diapir Rising Through the Mantle Wedge
Contributions to Mineralogy and Petrology
Petrology
Geochemistry
Geophysics
Embeddability of Simplicial Complexes Is Undecidable
Existential Heap Abstraction Entailment Is Undecidable
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
