Search citation statements

Order By: Relevance
Select...
1
1
1
1
0
5
0

Year Published

2015
2015
2018
2018

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

0
5
0
Order By: Relevance
“…Like Iris, Cohen et al [7] strive to provide a minimal basis for concurrent reasoning, but theirs is based on a ghost heap and twostate invariants, whereas ours is based on arbitrary ghost PCMs and one-state invariants. The two approaches are optimizing for different goals.…”
Section: Related Workmentioning
See 2 more Smart Citations
Create an account to read the remaining citation statements from this report. You will also get access to:
  • Search over 1.2b+ citation statments to see what is being said about any topic in the research literature
  • Advanced Search to find publications that support or contrast your research
  • Citation reports and visualizations to easily see what publications are saying about each other
  • Browser extension to see Smart Citations wherever you read research
  • Dashboards to evaluate and keep track of groups of publications
  • Alerts to stay on top of citations as they happen
  • Automated reference checks to make sure you are citing reliable research in your manuscripts
  • 7 day free preview of our premium features.

Trusted by researchers and organizations around the world

Over 130,000 students researchers, and industry experts at use scite

See what students are saying

rupbmjkragerfmgwileyiopcupepmcmbcthiemesagefrontiersapsiucrarxivemeralduhksmucshluniversity-of-gavle
“…Like Iris, Cohen et al [7] strive to provide a minimal basis for concurrent reasoning, but theirs is based on a ghost heap and twostate invariants, whereas ours is based on arbitrary ghost PCMs and one-state invariants. The two approaches are optimizing for different goals.…”
Section: Related Workmentioning
“…Thus, in the proof, we would be stuck if the only closing view shift we had at our disposal was the committing one. Hence we extend (7) to assume an additional aborting view shift (as another closing view shift), which lets us go back to P if the commit did not happen. We arrive at the following, general pattern:…”
Section: Logically Atomic Triplesmentioning
See 1 more Smart Citation
“…To our knowledge, FCSL does not support hiding of this form. Like Iris, Cohen et al (2009) strive to provide a minimal basis for concurrent reasoning, but theirs is based on a ghost heap and two-state invariants, whereas ours is based on arbitrary ghost PCMs and one-state invariants. The two approaches are optimizing for different goals.…”
Section: User-defined Ghost State and Invariantsmentioning
“…Traditionally, ghost state was manipulated by instrumenting a program with updates to "ghost" (or "auxiliary") variables. Although this approach is convenient for integration into automatic verification tools [10], it is unnecessarily low-level: there is no reason logical state needs to be manipulated in exactly the same way as physical state, and doing so makes it harder to reason about updates to shared logical state in a modular fashion.…”
Section: Introductionmentioning