Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ UCL Discoveryarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
UCL Discovery
Other ORP type . 2017
Data sources: UCL Discovery
Claim

This Research product is the result of merged Research products in OpenAIRE.

You have already added 0 works in your ORCID record related to the merged Research product.

Concurrent Data Structures Linked in Time

appsOther research productkeyboard_double_arrow_right Other ORP type 01 Jan 2017 United Kingdom Funded by:UKRI | Program Logics for Compos..., EC | Mathador
Authors: Delbianco, GA; Sergey, I; Nanevski, A; Banerjee, A;

Concurrent Data Structures Linked in Time

Keywords

Separation logic, Linearization Points, FCSL, Concurrent snapshots

53 references, page 1 of 6

Martín Abadi and Leslie Lamport. The existence of refinement mappings. In Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), pages 165-175.

IEEE Computer Society, 1988. doi:10.1109/LICS.1988.5115.

Christian J. Bell, Andrew W. Appel, and David Walker. Concurrent separation logic for pipelined parallelization. In Radhia Cousot and Matthieu Martel, editors, Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010.

Proceedings, volume 6337 of Lecture Notes in Computer Science, pages 151-166. Springer, 2010. doi:10.1007/978-3-642-15769-1_10.

Andrea Cerone, Alexey Gotsman, and Hongseok Yang. Parameterised linearisability. In Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, and Elias Koutsoupias, editors, Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Proceedings, Part II, volume 8573 of LNCS, pages 98-109. Springer, 2014. doi:10.1007/ 978-3-662-43951-7_9.

Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, and Viktor Vafeiadis. Aspectoriented linearizability proofs. Logical Methods in Computer Science, 11(1), 2015. doi: 10.2168/LMCS-11(1:20)2015.

Robert Colvin, Simon Doherty, and Lindsay Groves. Verifying concurrent data structures by simulation. Electr. Notes Theor. Comput. Sci., 137(2):93-110, 2005. doi:10.1016/j. [OpenAIRE]

entcs.2005.04.026.

Robert Colvin, Lindsay Groves, Victor Luchangco, and Mark Moir. Formal verification of a lazy concurrent list-based set algorithm. In Thomas Ball and Robert B. Jones, editors, Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, volume 4144 of Lecture Notes in Computer Science, pages 475-488. Springer, 2006. doi:10.1007/11817963_44.

Pedro da Rocha Pinto, Thomas Dinsdale-Young, and Philippa Gardner. Tada: A logic for time and data abstraction. In Richard Jones, editor, ECOOP 2014 - Object-Oriented Programming - 28th European Conference. Proceedings, volume 8586 of LNCS, pages 207- 231. Springer, 2014. doi:10.1007/978-3-662-44202-9_9.

  • BIP!
    Impact byBIP!
    citations
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    		 0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    		 Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    		 Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    		 Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
citations
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average