Matthew Hennessy

Identifiers

• name variant Matthew Hennessy 0.60 · backfill

Papers (5)

1. Distinguishing between Communicating Transactions cs.LO · 2017 · author #3
2. Using higher-order contracts to model session types cs.LO · 2013 · author #2
3. Uniqueness Typing for Resource Management in Message-Passing Concurrency cs.LO · 2010 · author #3
4. Characterising Testing Preorders for Finite Probabilistic Processes cs.LO · 2008 · author #2
5. Security Policies as Membranes in Systems for Global Computing cs.PL · 2005 · author #2

Mentions

• 1310.6176 #2 · backfill · confidence 0.70 Matthew Hennessy
• 1003.5513 #3 · backfill · confidence 0.70 Matthew Hennessy
• 0810.3708 #2 · backfill · confidence 0.70 Matthew Hennessy

Frequent Coauthors

• Adrian Francalanza 1 shared papers
• Carroll Morgan 1 shared papers
• Daniele Gorla 1 shared papers
• Edsko de Vries 1 shared papers
• Giovanni Bernardi 1 shared papers
• Maciej Gazda 1 shared papers
• Rob van Glabbeek 1 shared papers
• Vasileios Koutavas 1 shared papers
• Vladimiro Sassone 1 shared papers
• Yuxin Deng 1 shared papers