Matthew Hennessy (Trinity College Dublin
Identifiers
- name variant Matthew Hennessy (Trinity College Dublin 0.60 · backfill
Papers (1)
- Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency cs.LO · 2014 · author #3
Mentions
- 1405.6100 #3 · backfill · confidence 0.70 Matthew Hennessy (Trinity College Dublin
Frequent Coauthors
- Adrian Francalanza (University of Malta) 1 shared papers
- Edsko DeVries (Well-Typed LLP) 1 shared papers
- Ireland) 1 shared papers