1![A Theory of System Behaviour in the Presence of Node and Link Failure Adrian Francalanza a , Matthew Hennessy b a Imperial b University A Theory of System Behaviour in the Presence of Node and Link Failure Adrian Francalanza a , Matthew Hennessy b a Imperial b University](https://www.pdfsearch.io/img/509da7714ce60eb6a13290df3add584e.jpg) | Add to Reading ListSource URL: staff.um.edu.mt- Date: 2008-10-06 10:00:13
|
---|
2![A Theory for Observational Fault Tolerance Adrian Francalanza a , Matthew Hennessy b a Imperial b University College, London SW7 2BZ, England A Theory for Observational Fault Tolerance Adrian Francalanza a , Matthew Hennessy b a Imperial b University College, London SW7 2BZ, England](https://www.pdfsearch.io/img/994c43381db67c62e0c9d8de9780531e.jpg) | Add to Reading ListSource URL: staff.um.edu.mt- Date: 2008-10-06 10:00:15
|
---|
3![COMPOSITIONAL REASONING FOR EXPLICIT RESOURCE MANAGEMENT IN CHANNEL-BASED CONCURRENCY ADRIAN FRANCALANZA, EDSKO DEVRIES, AND MATTHEW HENNESSY ICT, University of Malta e-mail address: Well-Typ COMPOSITIONAL REASONING FOR EXPLICIT RESOURCE MANAGEMENT IN CHANNEL-BASED CONCURRENCY ADRIAN FRANCALANZA, EDSKO DEVRIES, AND MATTHEW HENNESSY ICT, University of Malta e-mail address: Well-Typ](https://www.pdfsearch.io/img/def1645f2727ff7c9a560d60d114402d.jpg) | Add to Reading ListSource URL: staff.um.edu.mt- Date: 2014-07-01 03:52:04
|
---|
4![Communicating Transactions? (Extended Abstract) Edsko de Vries, Vasileios Koutavas, and Matthew Hennessy Trinity College Dublin {Edsko.de.Vries,Vasileios.Koutavas,Matthew.Hennessy}@cs.tcd.ie Communicating Transactions? (Extended Abstract) Edsko de Vries, Vasileios Koutavas, and Matthew Hennessy Trinity College Dublin {Edsko.de.Vries,Vasileios.Koutavas,Matthew.Hennessy}@cs.tcd.ie](https://www.pdfsearch.io/img/82b98a34d58331f89688700011ceacdf.jpg) | Add to Reading ListSource URL: www.edsko.net- Date: 2016-08-23 03:13:56
|
---|
5![Liveness of Communicating Transactions? (Extended Abstract) Edsko de Vries, Vasileios Koutavas, and Matthew Hennessy Trinity College Dublin {Edsko.de.Vries,Vasileios.Koutavas,Matthew.Hennessy}@cs.tcd.ie Liveness of Communicating Transactions? (Extended Abstract) Edsko de Vries, Vasileios Koutavas, and Matthew Hennessy Trinity College Dublin {Edsko.de.Vries,Vasileios.Koutavas,Matthew.Hennessy}@cs.tcd.ie](https://www.pdfsearch.io/img/f6285c7436cd15a08d02b4cd9b66129f.jpg) | Add to Reading ListSource URL: www.edsko.net- Date: 2016-08-23 03:13:56
|
---|
6![Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh](https://www.pdfsearch.io/img/255e210d070bd42e1a399f925ed8a697.jpg) | Add to Reading ListSource URL: events.inf.ed.ac.ukLanguage: English - Date: 2012-10-10 03:52:01
|
---|
7![Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 18 pages The Security Picalculus and Non-interference (Extended Abstract) Matthew Hennessy 1,2 Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 18 pages The Security Picalculus and Non-interference (Extended Abstract) Matthew Hennessy 1,2](https://www.pdfsearch.io/img/5bb79ddf9241cc97d40e6a99ae4710f4.jpg) | Add to Reading ListSource URL: www.entcs.orgLanguage: English - Date: 2004-04-02 17:22:28
|
---|
8![Curriculum Vitae Luca Aceto School of Computer Science Reykjav´ık University MenntavegurReykjav´ık Curriculum Vitae Luca Aceto School of Computer Science Reykjav´ık University MenntavegurReykjav´ık](https://www.pdfsearch.io/img/4fb6465186a591bc1f4cd4c20ced50f8.jpg) | Add to Reading ListSource URL: www.ru.isLanguage: English - Date: 2014-10-19 10:54:51
|
---|
9![Measuring Health-Related Quality of Life for Public Health Surveillance CATHERINE HAGAN HENNESSY, DrPH, MA DAVID G. MORIARTY MATTHEW M. ZACK, MD, MPH PAUL A. SCHERR, PhD, DSc Measuring Health-Related Quality of Life for Public Health Surveillance CATHERINE HAGAN HENNESSY, DrPH, MA DAVID G. MORIARTY MATTHEW M. ZACK, MD, MPH PAUL A. SCHERR, PhD, DSc](https://www.pdfsearch.io/img/5ecba26f8775319f060b2852c5951aaf.jpg) | Add to Reading ListSource URL: www.ncbi.nlm.nih.govLanguage: English |
---|
10![Matthew G. Hennessy Oxford Centre for Collaborative Applied Mathematics Mathematical Institute University of Oxford[removed]St Giles’ Oxford Matthew G. Hennessy Oxford Centre for Collaborative Applied Mathematics Mathematical Institute University of Oxford[removed]St Giles’ Oxford](https://www.pdfsearch.io/img/e74c8f40e9d2a3c955bdea8d9454e0b5.jpg) | Add to Reading ListSource URL: www.maths.ox.ac.ukLanguage: English - Date: 2014-06-01 09:14:20
|
---|