| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matthew Hennessy |
A calculus for costed computations  |
Logical Methods in Computer Science  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan |
Real-Reward Testing for Probabilistic Processes (Extended Abstract) |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng, Matthew Hennessy |
Compositional Reasoning for Markov Decision Processes - (Extended Abstract). |
FSEN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng, Matthew Hennessy |
On the Semantics of Markov Automata. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasileios Koutavas, Matthew Hennessy |
A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract). |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Cerone, Matthew Hennessy |
Process Behaviour: Formulae vs. Tests (Extended Abstract) |
EXPRESS'10 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsko de Vries, Vasileios Koutavas, Matthew Hennessy |
Communicating Transactions - (Extended Abstract). |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsko de Vries, Vasileios Koutavas, Matthew Hennessy |
Liveness of Communicating Transactions (Extended Abstract). |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Manish Gaur |
Counting the Cost in the Picalculus (Extended Abstract). |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Bartek Klin |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsko de Vries, Adrian Francalanza, Matthew Hennessy |
Uniqueness Typing for Resource Management in Message-Passing Concurrency |
LINEARITY |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan |
Testing Finitary Probabilistic Processes. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy |
Distributed Systems and Their Environments. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Francalanza, Matthew Hennessy |
A theory of system behaviour in the presence of node and link failure. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan |
Characterising Testing Preorders for Finite Probabilistic Processes. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng, Matthew Hennessy, Rob J. van Glabbeek, Carroll Morgan |
Characterising Testing Preorders for Finite Probabilistic Processes |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Francalanza, Matthew Hennessy |
A theory for observational fault tolerance. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Hym, Matthew Hennessy |
Adding recursion to Dpi. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Matthew Hennessy |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang |
Remarks on Testing Probabilistic Processes. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy |
A distributed Pi-calculus. |
|
2007 |
RDF |
|
| 1 | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang |
Characterising Testing Preorders for Finite Probabilistic Processes. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Francalanza, Matthew Hennessy |
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract). |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Hym, Matthew Hennessy |
Adding Recursion to Dpi: (Extended Abstract). |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Merro, Matthew Hennessy |
A bisimulation-based semantic theory of Safe Ambients. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
distributed systems, Mobile agents, bisimulation |
| 1 | Daniele Gorla, Matthew Hennessy, Vladimiro Sassone |
Inferring dynamic credentials for rôle-based trust management. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
logic programming with negation, rôle-based access control, trust-management, inference systems |
| 1 | Adrian Francalanza, Matthew Hennessy |
A Theory for Observational Fault Tolerance. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy |
The security pi-calculus and non-interference. |
J. Log. Algebr. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Julian Rathke, Nobuko Yoshida |
safeDpi: a language for controlling mobile code. |
Acta Inf. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Gorla, Matthew Hennessy, Vladimiro Sassone |
Security Policies as Membranes in Systems for Global Computing. |
Logical Methods in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Gorla, Matthew Hennessy, Vladimiro Sassone |
Security Policies as Membranes in Systems for Global Computing. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Gorla, Matthew Hennessy, Vladimiro Sassone |
Security Policies as Membranes in Systems for Global Computing |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Adrian Francalanza, Matthew Hennessy |
A Theory of System Behaviour in the Presence of Node and Link Failures. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Ciaffaglione, Matthew Hennessy, Julian Rathke |
Proof Methodologies for Behavioural Equivalence in DPI. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Massimo Merro, Julian Rathke |
Towards a behavioural theory of access and mobility control in distributed systems. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Eidenbenz, Matthew Hennessy, Rafael Morales Bueno, Francisco Triguero Ruiz, Peter Widmayer, Ricardo Conejo |
Preface. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Julian Rathke |
Typed behavioural equivalences for processes in the presence of subtyping. |
Mathematical Structures in Computer Science |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Julian Rathke, Nobuko Yoshida |
safeDpi: A Language for Controlling Mobile Code. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | James Riely, Matthew Hennessy |
Trust and Partial Typing in Open Systems of Mobile Agents. |
J. Autom. Reasoning |
2003 |
DBLP DOI BibTeX RDF |
partial typing, trust, type safety |
| 1 | Matthew Hennessy, Massimo Merro, Julian Rathke |
Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy |
A fully abstract denotational semantics for the pi-calculus. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuko Yoshida, Matthew Hennessy |
Assigning Types to Processes. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, James Riely |
Resource Access Control in Systems of Mobile Agents. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Julian Rathke |
Typed behavioural equivalences for processes in the presence of subtyping. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, James Riely |
Information flow vs. resource access in the asynchronous pi-calculus. |
ACM Trans. Program. Lang. Syst. |
2002 |
DBLP DOI BibTeX RDF |
Distributed process language, I/O subtyping, may testing, security types, security, information flow, pi-calculus, noninterference |
| 1 | Peter Widmayer, Francisco Triguero Ruiz, Rafael Morales Bueno, Matthew Hennessy, Stephan Eidenbenz, Ricardo Conejo (eds.) |
Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings |
ICALP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Massimo Merro, Matthew Hennessy |
Bisimulation congruences in safe ambients. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Huimin Lin, Julian Rathke |
Unique fixpoint induction for message-passing process calculi. |
Sci. Comput. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | James Riely, Matthew Hennessy |
Distributed processes and location failures. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, James Riely |
Information Flow vs. Resource Access in the Asynchronous Pi-Calculus. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | William Ferreira, Matthew Hennessy, Alan Jeffrey |
Combining the typed lambda-calculus with CCS. |
Proof, Language, and Interaction |
2000 |
DBLP BibTeX RDF |
|
| 1 | Nobuko Yoshida, Matthew Hennessy |
Assigning Types to Processes. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
higher-order pi-calculus, distributed systems, concurrency, type system, subtyping |
| 1 | William Ferreira, Matthew Hennessy |
A Behavioural Theory of First-Order CML. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuko Yoshida, Matthew Hennessy |
Suptyping and Locality in Distributed Higher Order Processes (extended abstract). |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, James Riely |
Type-Safe Execution of Mobile Agents in Anonymous Networks. |
Secure Internet Programming |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | James Riely, Matthew Hennessy |
Trust and Partial Typing in Open Systems of Mobile Agents. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy |
Proof Systems for Message-Passing Process Calculi. |
IFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Matthew Hennessy |
Axiomatising Asynchronous Process Calculi (abstract). |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Julian Rathke |
Bisimulations for a Calculus of Broadcasting Systems. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Chrysafis Hartonas, Matthew Hennessy |
Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy |
A survey of location calculi. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, James Riely |
Resource Access Control in Systems of Mobile Agents. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy |
Process Calculi for describing distributed systems. |
J. Comput. Sci. Technol. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Louis Curien, Matthew Hennessy, Huimin Lin |
Preface. |
J. Comput. Sci. Technol. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | William Ferreira, Matthew Hennessy, Alan Jeffrey |
A Theory of Weak Bisimulation for Core CML. |
J. Funct. Program. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Matthew Hennessy, James Riely |
Type-Safe Execution of Mobile Agents in Anonymous Networks. |
ECOOP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | James Riely, Matthew Hennessy |
A Typed Language for Distributed Mobile Processes (Extended Abstract). |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilaria Castellani, Matthew Hennessy |
Testing Theories for Asynchronous Languages. |
FSTTCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Astrid Kiehn, Matthew Hennessy |
On the Decidability of Non-Interleaving Process Equivalences. |
Fundam. Inform. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Rathke, Matthew Hennessy |
Local Model Checking for Value-Passing Processes (Extended Abstract). |
TACS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | James Riely, Matthew Hennessy |
Distributed Processes and Location Failures (Extended Abstract). |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Chrysafis Hartonas, Matthew Hennessy |
Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract). |
CSL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Huimin Lin |
Proof Systems for Message-Passing Process Algebras. |
Formal Asp. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | William Ferreira, Matthew Hennessy, Alan Jeffrey |
A Theory of Weak Bisimulation for Core CML. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Huimin Lin |
Symbolic Bisimulations. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Xinxin Liu |
A Modal Logic for Message Passing Processes. |
Acta Inf. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy |
Concurrent Testing of Processes. |
Acta Inf. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Tim Regan |
A Process Algebra for Timed Systems |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Julian Rathke |
Bisimulations for a Calculus of Broadcasting Systems. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | William Ferreira, Matthew Hennessy |
Towards a Semantic Theory of CML (Extended Abstract). |
MFCS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn |
A Theory of Processes with Localities. |
Formal Asp. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Matthew Hennessy |
Adding Action Refinement to a Finite Process Algebra |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy |
A Fully Abstract Denotational Model for Higher-Order Processes |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy |
Higher-Order Process and Their Models. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Matthew Hennessy |
Testing Equivalence as a Bisimulation Equivalence. |
Formal Asp. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Anna Ingólfsdóttir |
Communicating Processes with Value-passing and Assignments. |
Formal Asp. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn |
Observing Localities. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Anna Ingólfsdóttir |
A Theory of Communicating Processes with Value Passing |
Inf. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Matthew Hennessy |
Towards Action-Refinement in Process Algebras |
Inf. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Huimin Lin |
Proof Systems for Message-Passing Process Algebras. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy |
Symbolic Bisimulations (Abstract). |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Xinxin Liu |
A Modal Logic for Message passing Processes (Extended Abstract). |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy |
A Fully Abstract Denotational Model for Higher-Order Processes (Extended Abstract) |
LICS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Arun-Kumar, Matthew Hennessy |
An Efficiency Preorder for Processes. |
Acta Inf. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Matthew Hennessy |
Termination, Deadlock, and Divergence. |
J. ACM |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy |
Concurrent Testing of Processes (Extended Abstract). |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn |
A Theory of Process with Localities (Extended Abstract). |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy |
A Proof Sustem for Communicating Processes with Value-Passing. |
Formal Asp. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Arun-Kumar, Matthew Hennessy |
An Efficiency Preorder for Processes. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")