Skip to search boxSkip to navigationSkip to main content

Modular Reasoning about Separation of Concurrent Data Structures

  • Kasper Svendsen
    ,
  • Lars Birkedal
    ,
  • Matthew Parkinson
  • Microsoft Research
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 169-188

Publication milestones

  • Published - 2013

Publication status

Published - 2013

Publisher

Association for Computing Machinery, United States

ISBN (Print)

978-3-642-37035-9

Publication IDs

  • Scopus: 84874441201

Host publication title

ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems

Publication metrics

PlumX

Captures
21
Citations
47