Matthew Hennessy (Trinity College Dublin

Identifiers

• name variant Matthew Hennessy (Trinity College Dublin 0.60 · backfill

Papers (1)

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