Matthew Hennessy
Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency, process calculi and programming language semantics. Provided by Wikipedia
Showing 1 - 9 results of 9 for search 'Matthew Hennessy', query time: 0.02s
Refine Results
-
1
-
2
Using higher-order contracts to model session types by Giovanni Bernardi, Matthew Hennessy
Published 2016-06-01
Article -
3
Modelling Probabilistic Wireless Networks by Andrea Cerone, Matthew Hennessy
Published 2013-09-01
Article -
4
Mutually Testing Processes by Giovanni Bernardi, Matthew Hennessy
Published 2015-04-01
Article -
5
Mathematical problems relating to the fabrication of organic photovoltaic devices by Hennessy, M, Matthew Hennessy
Published 2014Thesis -
6
Security Policies as Membranes in Systems for Global Computing by Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
Published 2005-12-01
Article -
7
Modelling MAC-Layer Communications in Wireless Systems by Andrea Cerone, Matthew Hennessy, Massimo Merro
Published 2015-03-01
Article -
8
Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency by Adrian Francalanza, Edsko DeVries, Matthew Hennessy
Published 2014-06-01
Article -
9
Characterising Testing Preorders for Finite Probabilistic Processes by Yuxin Deng, Matthew Hennessy, Rob van Glabbeek, Carroll Morgan
Published 2008-10-01
Article