Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
38
views
23
references
Top references
cited by
0
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,367
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Provably Correct Systems
A Proof Method for Linearizability on TSO Architectures
other
Author(s):
John Derrick
,
Graeme Smith
,
Lindsay Groves
,
Brijesh Dongol
Publication date
(Online):
March 02 2017
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Synthesis of 2-trifluoromethylated piperidines and azepanes
Most cited references
23
Record
: found
Abstract
: not found
Article
: not found
Linearizability: a correctness condition for concurrent objects
Maurice P. Herlihy
,
Jeannette Wing
(1990)
0
comments
Cited
273
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
x86-TSO
Scott Owens
,
Francesco Nardelli
,
Magnus O. Myreen
…
(2010)
0
comments
Cited
38
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Comparison Under Abstraction for Verifying Linearizability
Daphna Amit
,
Noam Rinetzky
,
Thomas Reps
…
(2007)
0
comments
Cited
22
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2017
Publication date (Online):
March 02 2017
Pages
: 61-91
DOI:
10.1007/978-3-319-48628-4_4
SO-VID:
3c1f2ff9-74b7-4748-bdb9-bfbb1f5ebd9b
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. E1
Erratum to: ProCoS: How It All Began – as Seen from Denmark
pp. 3
ProCoS: How It All Began – as Seen from Denmark
pp. 9
Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems
pp. 39
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems
pp. 61
A Proof Method for Linearizability on TSO Architectures
pp. 95
Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers
pp. 121
Towards Interface-Driven Design of Evolving Component-Based Architectures
pp. 151
Computing Verified Machine Address Bounds During Symbolic Exploration of Code
pp. 173
Engineering a Formal, Executable x86 ISA Simulator for Software Verification
pp. 211
Advances in Connection-Based Automated Theorem Proving
pp. 245
Run-Time Deadlock Detection
pp. 265
In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design
pp. 285
From ProCoS to Space and Mental Models–A Survey of Combining Formal and Semi-formal Methods
pp. 313
Provably Correct Systems: Community, Connections, and Citations
Similar content
3,367
Cyclic sulphoxides as ligands—IXX. Adducts of lanthanide iodides and thioxane-oxide (TSO)
Authors:
G. Vicentini
,
L.B Zinner
,
K Zinner
Non-Speculative Load-Load Reordering in TSO
Authors:
Alberto Ros
,
Trevor E. Carlson
,
Mehdi Alipour
…
Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model
Authors:
A Raad
,
V Vafeiadis
See all similar