Skip to main content

Trinity College Dublin, The University of Dublin

Menu Search


Trinity College Dublin By using this website you consent to the use of cookies in accordance with the Trinity cookie policy. For more information on cookies see our cookie policy.

      
Profile Photo

Professor Matthew Hennessy

Fellow Emeritus (School Office - Computer Science & Stats)

 Matthew.Hennessy@tcd.ie

 


Research Tags

  Computer Programming Languages   Computer Science

Research Projects

 MIKADO: Mobile Calculi Based on Domains
 A Distributed Object Calculus and its Implementation
 The Semantic Foundations of Mobile Computation
 CONFER II Working Group
 Linear Type Systems for Distributed Concurrent Systems

Page 1 of 4
Vasileios Koutavas, Maciej Gazda, Matthew Hennessy, Distinguishing between Communicating Transactions, Information and Computation, 2018, 1-30 , Journal Article, PUBLISHED  DOI
Vasileios Koutavas, Maciej Gazda, Matthew Hennessy, Distinguishing between Communicating Transactions, CoRR abs/1703.03256, Arxiv - The Computing Research Repository (CoRR), 2017, Report, PUBLISHED  URL
Bernardi, G., Hennessy, M., Modelling session types using contracts, Mathematical Structures in Computer Science, 26, (3), 2016, p510-560 , Journal Article, PUBLISHED  DOI
Bernardi G, Hennessy M, Mutually testing processes, Logical Methods in Computer Science, 11, (2), 2015, p61-75 , Notes: [CONCUR 2013 - Concurrency Theory 24th International Conference, CONCUR 2013 Buenos Aires, Argentina, August 27-30, 2013 Proceedings], Journal Article, PUBLISHED  TARA - Full Text  DOI  URL
Cerone, A., Hennessy, M., Merro, M., Modelling Mac-Layer communications in wireless systems, Logical Methods in Computer Science, 11, (1), 2015, p18 , Journal Article, PUBLISHED  TARA - Full Text  DOI
Vasileios Koutavas and Carlo Spaccasassi and Matthew Hennessy, Bisimulations for Communicating Transactions (Extended Abstract), Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures, Grenoble, France, 5-13 April 2014, edited by Muscholl, Anca , 8412, Springer Berlin Heidelberg, 2014, pp320 - 334, Conference Paper, PUBLISHED  DOI  URL
Bernardi G, Hennessy M, Compliance and testing preorders differ, Lecture Notes in Computer Science (including subseries Lecture Notes in Ar, 8368, 2014, p69-81 , Journal Article, PUBLISHED  DOI  URL
Bernardi G, Hennessy M, Using higher-order contracts to model session types (extended abstract), Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 8704, 2014, p387-401 , Journal Article, PUBLISHED  DOI  URL
Cerone A, Hennessy M, Characterising testing preorders for broadcasting distributed systems, Lecture Notes in Computer Science (including subseries Lecture Notes in Ar, 8902, 2014, p67-81 , Notes: [Export Date: 30 September 2016], Journal Article, PUBLISHED  DOI  URL
Francalanza A, Devries E, Hennessy M, Compositional reasoning for explicit resource management in channel-based concurrency, Logical Methods in Computer Science, 10, (2), 2014, p15 , Notes: [Export Date: 30 September 2016], Journal Article, PUBLISHED  TARA - Full Text  DOI  URL
  

Page 1 of 16
Andrea Cerone, Matthew Hennessy and Massimo Merro., Modelling MAC-layer communications in wireless systems., Trinity College, Dublin, Ireland., Trinity College, Dublin, Ireland., September , 2012, 1-48, Notes: [SFI 06 IN.1 1898.], Report, PUBLISHED
Giovanni Bernardi and Matthew Hennessy, Modelling session types using contracts, Trinity College Dublin, 2011, Report, PUBLISHED
Yuxin Deng, Matthew Hennessy, Rob J. van Glabbeek, Carroll Morgan, Characterising Testing Preorders for Finite Probabilistic Processes , 2008, Journal Article, PUBLISHED
Test, Test TARA Upload2, Working Paper, PUBLISHED