A Theory of System Behaviour in the Presence of Node and Link Failure Adrian Francalanza a , Matthew Hennessy b a Imperial b University

Source URL: staff.um.edu.mt

A Theory for Observational Fault Tolerance Adrian Francalanza a , Matthew Hennessy b a Imperial b University College, London SW7 2BZ, England

Source URL: staff.um.edu.mt

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

Source URL: staff.um.edu.mt

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

Source URL: www.edsko.net

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

Source URL: www.edsko.net

Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh

Source URL: events.inf.ed.ac.uk

• Theoretical computer science
• Logic in computer science
• Formal methods
• Programming language semantics
• Models of computation
• Denotational semantics
• Process calculi
• Matthew Hennessy
• Semantics
• Maurice Nivat
• Bisimulation
• Negation

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

Source URL: www.entcs.org

Curriculum Vitae Luca Aceto School of Computer Science Reykjav´ık University MenntavegurReykjav´ık

Source URL: www.ru.is

• Orc
• International Colloquium on Automata
• Languages and Programming
• Aalborg University
• Matthew Hennessy
• Actor model
• Aalborg
• Logic programming
• Theoretical computer science
• Computer science
• Computing

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

Source URL: www.ncbi.nlm.nih.gov

• Health economics
• Healthcare
• Medical terms
• Public health
• Quality of life
• Mental health
• National Health Interview Survey
• Clinical surveillance
• Mental disorder
• Health
• Medicine
• Health promotion

Matthew G. Hennessy Oxford Centre for Collaborative Applied Mathematics Mathematical Institute University of Oxford[removed]St Giles’ Oxford

Source URL: www.maths.ox.ac.uk

• Academia
• Mathematics
• University of Regina
• Centre de Recherches Mathématiques
• Education
• Knowledge
• Year of birth missing
• University of Ontario Institute of Technology
• Applied mathematics
• Mathematical Institute
• University of Oxford