| |
2018 |
Vasileios Koutavas, Maciej Gazda, Matthew Hennessy |
Distinguishing between Communicating Transactions Information and Computation, pp 1-30. DOI: http://dx.doi.org/10.1016/j.ic.2017.12.001 |
| |
2016 |
Bernardi, G., Hennessy, M. |
Modelling session types using contracts Mathematical Structures in Computer Science, 26(3), pp510-560. DOI: http://dx.doi.org/10.1017/S0960129514000243 |
| |
2015 |
Bernardi G, Hennessy M |
Mutually testing processes Logical Methods in Computer Science, 11(2), pp61-75. DOI: http://dx.doi.org/10.1007/978-3-642-40184-8_6 |
| |
2015 |
Cerone, A., Hennessy, M., Merro, M. |
Modelling Mac-Layer communications in wireless systems Logical Methods in Computer Science, 11(1), pp18. DOI: http://dx.doi.org/10.2168/LMCS-11(1:18)2015 |
| |
2014 |
Vasileios Koutavas and Carlo Spaccasassi and Matthew Hennessy |
Bisimulations for Communicating Transactions (Extended Abstract) Foundations of Software Science and Computation Structures, 8412, pp320-334. DOI: http://dx.doi.org/10.1007/978-3-642-54830-7_21 |
| |
2014 |
Bernardi G, Hennessy M |
Compliance and testing preorders differ Lecture Notes in Computer Science (including subseries Lecture Notes in Ar, 8368, pp69-81. DOI: http://dx.doi.org/10.1007/978-3-319-05032-4_6 |
| |
2014 |
Francalanza A, Devries E, Hennessy M |
Compositional reasoning for explicit resource management in channel-based concurrency Logical Methods in Computer Science, 10(2), pp15. DOI: http://dx.doi.org/10.2168/LMCS-10(2:15)2014 |
| |
2014 |
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, pp387-401. DOI: http://dx.doi.org/10.1007/978-3-662-44584-6_27 |
| |
2014 |
Cerone A, Hennessy M |
Characterising testing preorders for broadcasting distributed systems Lecture Notes in Computer Science (including subseries Lecture Notes in Ar, 8902, pp67-81. DOI: http://dx.doi.org/10.1007/978-3-662-45917-1 5 |
| |
2013 |
Deng, Y., van Glabbeek, R., Hennessy, M., Morgan, C. |
Real-reward testing for probabilistic processes Theoretical Computer Science , 538, pp1636. DOI: http://dx.doi.org/10.1016/j.tcs.2013.07.016 |
| |
2013 |
Cerone, A., Hennessy, M. |
Modelling probabilistic wireless networks Logical Methods in Computer Science , 9(3). DOI: http://dx.doi.org/10.2168/LMCS-9(3:26)2013 |
| |
2013 |
Cerone, A., Hennessy, M., Merro, M. |
Modelling MAC-layer communications in wireless systems (extended abstract) 15th International Conference on Coordination Models and Languages, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013;, 7890, pp16-30. DOI: http://dx.doi.org/10.1007/978-3-642-38493-6_2 |
| |
2013 |
Koutavas, V., Hennessy, M. |
Symbolic bisimulation for a higher-order distributed language with passivation (extended abstract) 24th International Conference on Concurrency Theory, CONCUR 2013, 8052, pp167-181. DOI: http://dx.doi.org/10.1007/978-3-642-40184-8_13 |
| |
2013 |
Bernardi, G., Hennessy, M. |
Mutually testing processes (extended abstract) 24th International Conference on Concurrency Theory, CONCUR 2013, 8052, pp61-75. DOI: http://dx.doi.org/10.1007/978-3-642-40184-8_6 |
| |
2013 |
Deng, Y., Hennessy, M. |
Compositional reasoning for weighted Markov decision processes Science of Computer Programming . DOI: http://dx.doi.org/10.1016/j.scico.2013.02.009 |
| |
2013 |
Yuxin Deng and Matthew Hennessy. |
On the Semantics of Markov Automata. Information and Computation, 222, pp139-168. DOI: http://dx.doi.org/10.1016/j.ic.2012.10.010 |
| |
2012 |
Edsko de Vries and Adrian Francalanza and Matthew Hennessy. |
Uniqueness Typing for Resource Management in Message-Passing Concurrency. Journal of Logic and Computation, 24(3), pp531-556. . DOI: http://dx.doi.org/10.1093/logcom/exs022 |
| |
2012 |
Vasileios Koutavas and Matthew Hennessy |
First-Order Reasoning for Higher-Order Concurrency. Journal of Computer Languages, Systems and Structures, 38(3), pp242-277. DOI: http://dx.doi.org/10.1016/j.cl.2012.04.003 |
| |
2012 |
Matthew Hennessy |
Exploring probabilistic bisimulations, part I. Formal Aspects of Computing, 24(4-6), pp749-768. DOI: http://dx.doi.org10.1007/s00165-012-0242-7 |
| |
2012 |
Giovanni Bernardi and Matthew Hennessy. |
Modelling session types using contracts. ACM Symposium on Applied Computing, 2012, pp1941-1946. DOI: http://dx.doi.org/10.1145/2245276.2232097 |
| |
2012 |
Andrea Cerone and Matthew Hennessy. |
Modelling Probabilistic Wireless Networks - (Extended Abstract). Proceedings of Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, 7273, pp135-151. DOI: http://dx.doi.org/10.1007/978-3-642-30793-5_9 |
| |
2012 |
Deng, Y., Hennessy, M. |
Compositional reasoning for Markov decision processes Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 7141 , pp143-157. DOI: http://dx.doi.org/10.1007/978-3-642-29320-7_10 |
| |
2011 |
Yuxin Deng and Matthew Hennessy. |
Compositional Reasoning for Markov Decision Processes To be presented at Fundamentals of Software Engineering |
| |
2011 |
Yuxin Deng and Matthew Hennessy. |
On the Semantics of Markov Automata The 38th International Colloquium on Automata, Languages and Programming (ICALP11), 6756, pp307-318. DOI: http://dx.doi.org/10.1007/978-3-642-22012-8_24 |
| |
2011 |
Yuxin Deng, Rob vanGlabbeek, Matthew Hennessy and Carroll Morgan |
Real Reward Testing for Probabilistic Processes Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011) . DOI: http://dx.doi.org/10.4204/eptcs.57.5 |
| |
2011 |
Vasileios Koutavas and Matthew Hennessy. |
A Testing Theory for a Higher-Order Cryptographic Language 20th European Symposium on Programming (ESOP'11) . DOI: http://dx.doi.org/10.1007/978-3-642-19718-5_19 |
| |
2011 |
Matthew Hennessy. |
A calculus for costed computations Logical Methods in Computer Science, pp1-35. DOI: http://dx.doi.org/10.2168/lmcs-7(1:7)2011 |
| |
2010 |
Edsko de Vries, Adrian Francalanza and Matthew Hennessy. |
Uniqueness Typing for Resource Management in Message-Passing Concurrency. First International Workshop on Linearity (LINEARITY 2009), 22, pp26-37 |
| |
2010 |
Edsko de Vries, Vasileios Koutavas and Matthew Hennessy. |
Liveness of Communicating Transactions (Extended Abstract) , 6461, pp392-407. DOI: http://dx.doi.org/10.1007/978-3-642-17164-2_27 |
| |
2010 |
Andrea Cerone and Matthew Hennessy |
Process Behaviour: Formulae vs. Tests 17th International Workshop on Expressiveness in Concurrency (Express'10) , 41, pp31-45. DOI: http://dx.doi.org/10.4204/EPTCS.41.3 |
| |
2010 |
Edsko de Vries, Vasileios Koutavas and Matthew Hennessy. |
Communicating Transactions 21st International Conference on Concurrency Theory (CONCUR 2010), 6269(2010), pp569-583. DOI: http://dx.doi.org/10.1007/978-3-642-15375-4_39 |
| |
2009 |
Matthew Hennessy and Manish Gaur. |
Counting the cost in the picalculus. 1st Interaction and Concurrency Experience (ICE'08), 229(3), pp117-129. DOI: http://dx.doi.org/10.1016/j.entcs.2009.06.042 |
| |
2009 |
Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan. |
Testing Finitary Probabilistic Processes 20th International Conference on Concurrency Theory (CONCUR'09). DOI: http://dx.doi.org/10.1007/978-3-642-04081-8_19 |
| |
2008 |
Yuxin Deng, Matthew Hennessy, Rob J. van Glabbeek, Carroll Morgan |
Characterising Testing Preorders for Finite Probabilistic Processes . DOI: http://dx.doi.org/10.2168/lmcs-4(4:4)2008 |
| |
2008 |
Francalanza, A, Hennessy, M. |
A theory of system behaviour in the presence of node and link failure Information and Computation , 206(6), pp711-759. DOI: http://dx.doi.org/10.1016/j.ic.2007.12.002 |
| |
2008 |
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel |
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. Concurrency, Graphs and Models , 5065/2008, pp757-777. DOI: http://dx.doi.org/10.1007/978-3-540-68679-8_47 |
| |
2007 |
Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan and Chenyi Zhang. |
Characterising Testing Preorders for Finite Probabilistic Processes 22nd Annual IEEE Symposium on Logic in Computer Science, 171, pp313-325. DOI: http://dx.doi.org/10.1109/LICS.2007.15 |
| |
2007 |
Matthew Hennessy |
A Distributed Picalculus . DOI: http://dx.doi.org/10.2168/lmcs-4(4:4)2008 |
| |
2007 |
Francalanza, A, Hennessy, M. |
A theory for observational fault tolerance Journal of Logic and Algebraic Programming, 73(1-2), pp22-50. DOI: http://dx.doi.org/10.1007/11690634_2 |
| |
2007 |
Adrian Francalanza and Matthew Hennessy |
A Fault Tolerance Bisimulation Proof for Consensus. 16th European Symposium of Lecture Notes in Computer Science, 4421 , pp395-410. DOI: http://dx.doi.org/10.1007/978-3-540-71316-6_27 |
| |
2007 |
Deng, Y. , van Glabbeek, R. , Hennessy, M. , Morgan, C. , Zhang, C. |
Remarks on Testing Probabilistic Processes Electronic Notes in Theoretical Computer Science , 172, pp359-397 . DOI: http://dx.doi.org/10.1016/j.entcs.2007.02.013 |
| |
2007 |
Hym, S., Hennessy, M. |
Adding recursion to Dpi Theoretical Computer Science , 373(3), pp182-212 . DOI: http://dx.doi.org/10.1016/j.tcs.2006.12.017 |
| |
2007 |
Francalanza, A, Hennessy, M. |
A fault tolerance bisimulation proof for consensus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , pp395-410 . DOI: http://dx.doi.org/10.1007/978-3-540-71316-6 |
| |
2006 |
Gorla, D., Hennessy, M. , Sassone, V. |
Inferring dynamic credentials for rôle-based trust management Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming , pp213-224 . DOI: http://dx.doi.org/10.1145/1140335.1140361 |
| |
2006 |
Merro, M., Hennessy, M. |
A bisimulation-based semantic theory of Safe Ambients ACM Transactions on Programming Languages and Systems , 28(2), pp290-330 . DOI: http://doi.acm.org/10.1145/1119479.1119482 |
| |
2006 |
Adrian Francalanza and Matthew Hennessy |
A Theory of System Fault Tolerance Fossacs06 , 3921 , pp16-31 |
| |
2006 |
Francalanza, A. , Hennessy, M. |
A theory for observational fault tolerance Lecture Notes in Computer Science , pp 16-31 . DOI: http://dx.doi.org/10.1007/11690634 |
| |
2005 |
Hennessy, M., Rathke, J., Yoshida, N. |
SAFEDPI: A language for controlling mobile code Acta Informatica , 42(4-5), pp227-290. DOI: http://dx.doi.org/10.1007/s00236-005-0178-y |
| |
2005 |
Hennessy, Matthew. |
The Security Picalculus and Non-interference. Journal of Logic and Algebraic Programming, 63(1), pp3-34. DOI: http://dx.doi.org/10.1016/j.jlap.2004.01.003 |
| |
2005 |
Alberto Ciaffaglione, Matthew Hennessy and Julian Rathke |
Proof methodologies for behavioural equivalence in DPI Lecture Notes in Computer Science , pp335-350 . DOI: http://dx.doi.org/10.1007/11562436 |
