Article

Hennessy, Matthew, Rathke, Julian and Yoshida, Nobuko (2005) SafeDpi: A language for controlling mobile code. Acta Informatica, 42 (4-5). pp. 227-290. ISSN 1432-0525

Merro, Massimo and Hennessy, Matthew (2005) A Bisimulation-Based Semantic Theory of Safe Ambients. ACM Transactions on Programming Languages and Systems, 28 (2). pp. 290-330. ISSN 0164-0925

Hennessy, Matthew, Merro, Massimo and Rathke, Julian (2004) Towards a behavioural theory of access and mobility control in distributed systems. Theoretical Computer Science, 322 (3). pp. 615-669.

Hennessy, Matthew (2004) The Security Picalculus and Non-interference. Journal of Logic and Algebraic Programming, 63 (1). pp. 3-34. ISSN 15678326

Riely, James and Hennessy, Matthew (2003) Trust and Partial Typing in Open Systems of Mobile Agents. Journal of Automated Reasoning, 31 (3-4). pp. 335-370. ISSN 0168-7433

Riely, James and Hennessy, Matthew (2003) Trust and Partial Typing in Open Systems of Mobile Agents. Journal of Automated Reasoning, 31 (3-4). pp. 335-370. ISSN 0168-7433

Hennessy, Matthew, Merro, Massimo and Rathke, Julian (2003) Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems. Theoretical Computer Science, 322 (3). pp. 615-669.

Hennessy, Matthew and Riely, James (2002) Information flow vs. resource access in the asynchronous pi-calculus. ACM Transactions on Programming Languages and Systems, 24 (5). pp. 566-591. ISSN 0164-0925

Hennessy, Matthew, Riely, James and Unset (2002) Information flow vs. resource access in the asynchronous pi-calculus. ACM Transactions on Programming Languages and Systems, 24 (5). pp. 566-591. ISSN 0164-0925

Yoshida, Nobuko and Hennessy, Matthew (2002) Assigning Types to Processes. Information and Computation, 174 (2). pp. 143-179. ISSN 0890-5401

Yoshida, Nobuko and Hennessy, Matthew (2002) Assigning Types to Processes. Information and Computation, 174 (2). pp. 143-179. ISSN 0890-5401

Hennessy, Matthew (2002) A fully abstract denotational semantics for the π-calculus. Theoretical Computer Science, 278 (1-2). pp. 53-89. ISSN 0304-3975

Hennessy, Matthew (2002) A fully abstract denotational semantics for the π-calculus. Theoretical Computer Science, 278 (1-2). pp. 53-89. ISSN 03043975

Hennessy, Matthew and Riely, James (2002) Resource Access Control in Systems of Mobile Agents. Information and Computation, 173 (1). pp. 82-120. ISSN 0890-5401

Hennessy, Matthew and Riely, James (2002) Resource Access Control in Systems of Mobile Agents. Information and Computation, 173 (1). pp. 82-120. ISSN 0890-5401

Hennessy, M and Rathke, J (1998) Bisimulations for a calculus of broadcasting systems. Theoretical Computer Science, 200 (1-2). pp. 225-260.

Hartonas, Chrysafis and Hennessy, Matthew (1998) Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing. Theoretical Computer Science, 145. pp. 64-106.

Ferreira, William, Hennessy, Matthew and Jeffrey, Alan (1998) A Theory of Weak Bisimulation for Core CML. Journal of Functional Programming, 8. pp. 447-491.

Book Section

Hennessy, Matthew, Yoshida, Nobuko and Rathke, Julian (2004) safeDpi: A Language for Controlling Mobile Code. In: Walukiewicz, Igor (ed.) Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science, 2987 . Springer, Verlag, pp. 241-256. ISBN 9783540212980

Conference or Workshop Item

Francalanza, Adrian and Hennessy, Matthew (2005) A Theory of System Behaviour in the Presence of Node and Link Failures . In: Concur 2005 - Concurrency Theory.

Hennessy, Matthew, Rathke, Julian and Yoshida, Nobuko (2004) SafeDpi: a language for controlling mobile code. In: Foundations of Software Science and Computation Structures (FoSSaCS), Barcelona.

Yoshida, N and Hennessy, M (2000) Assigning Types to Processes. In: Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, CA , USA.

Riely, James and Hennessy, Matthew (1999) Trust and Partial Typing in Open Systems of Mobile Agents. In: Unset, Conference Record of POPL'99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.

Book

Hennessy, Matthew (2007) A Distributed Pi-Calculus. Cambridge University Press. ISBN 9780521873307

Hennessy, Matthew (2007) A distributed pi-calculus. Cambridge University Press, Cambridge. ISBN 9780521873307

Hennessy, Matthew (1990) The semantics of programming languages: an elementary introduction using structural operational semantics. John Wiley & Sons. ISBN 0471927724

Hennessy, Matthew (1988) Algebraic theory of processes. The Foundations Of Computing Series . MIT Press. ISBN 0262081717