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

Most cited references 31

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

Tentative steps toward a development method for interfering programs

C Jones (1983)

0 comments Cited 71 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Thread-Modular Model Checking

Cormac Flanagan, Shaz Qadeer (2003)

0 comments Cited 31 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2017

Publication date (Online): August 19 2017

Pages: 169-191

DOI: 10.1007/978-3-319-66706-5_9

SO-VID: a8b14e64-3b8e-4d03-8d11-9c1d75979bee

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 1

Fine-Grained Complexity of Safety Verification
Authors: Peter Chini, Roland K. Meyer, Prakash Saivasan

See all cited by

Effect Summaries for Thread-Modular Analysis

Read this book at

Related collections

Core Readings in Statistical Mediation Analysis

Most cited references 31

Linearizability: a correctness condition for concurrent objects

Tentative steps toward a development method for interfering programs

Thread-Modular Model Checking

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 6,577

Cited by 1