Skip to search boxSkip to navigationSkip to main content

Higher-order Concurrent Abstract Predicates

  • Kasper Svendsen
    ,
  • Lars Birkedal
    ,
  • Matthew Parkinson
  • Microsoft Research
Research Output:
Book / Anthology / Report
Report

Publication Information

Output type

Research Output:
Book / Anthology / Report
Report

Original language

English

Publication milestones

  • Published - 2013

Publication status

Published - 2013