Name:	Professor M Hennessy
Organisation:	Trinity College Dublin
Department:	Sch of Computer Science and Statistics
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

GR/S69016/01 Third-party Resource Usage for Pervasive Computing (C) GR/S24510/01 Design and implementation of a distributed object based calculus (P) GR/M71169/01 THE SEMANTIC FOUNDATIONS OF MOBILE COMPUTATION (P) GR/L93058/01 LINEAR TYPE SYSTEMS FOR DISTRIBUTED CONCURRENT SYSTEMS (C) GR/K60701/01 FOUNDATIONS FOR THE INTEGRATION OF CONCURRENT DISTRIBUTED AND FUNCTIONAL COMPUTATION (P) GR/H16537/01 DEVELOPMENT OF ALGEBRAIC METHODS FOR DISTRIBUTED SYSTEMS (P) GR/H13932/01 INTEGRATION OF BEHAVIOURAL AND ALGEBRAIC PROOF SYSTEMSFOR CONCURRENT SYSTEMS (P) GR/F86601/01 ALGEBRAIC PROOF SYSTEMS FOR COMMUNICATING PROCESSES (P) GR/D97368/01 ALGEBRAIC MODELS OF CONCURRNT SYSTEMS (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator