Matthew Hennessy
发表
Chrysafis Hartonas,
Matthew Hennessy,
M. Hennessy,
1998,
Inf. Comput..
Julian Rathke,
Matthew Hennessy,
Huimin Lin,
2001,
Sci. Comput. Program..
Daniele Gorla,
Matthew Hennessy,
Vladimiro Sassone,
2006,
PPDP '06.
Matthew Hennessy,
William Ferreira,
1999,
Theor. Comput. Sci..
Carroll Morgan,
Matthew Hennessy,
Yuxin Deng,
2007,
Computation, Meaning, and Logic.
Matthew Hennessy,
Huimin Lin,
1993,
CONCUR.
Julian Rathke,
Matthew Hennessy,
2004,
Math. Struct. Comput. Sci..
Matthew Hennessy,
Rob J. van Glabbeek,
2007,
Electron. Notes Theor. Comput. Sci..
Rocco De Nicola,
Matthew Hennessy,
R. Nicola,
1987,
TAPSOFT, Vol.1.
Matthew Hennessy,
Edward A. Ashcroft,
1977,
STOC '77.
James Riely,
Matthew Hennessy,
1998,
ECOOP Workshops.
Julian Rathke,
Nobuko Yoshida,
Matthew Hennessy,
2004,
FoSSaCS.
Matthew Hennessy,
M. Hennessy,
2007
.
Matthew Hennessy,
2010
.
James Riely,
Matthew Hennessy,
2002,
Inf. Comput..
Matthew Hennessy,
William Ferreira,
M. Hennessy,
1995,
MFCS.
James Riely,
Matthew Hennessy,
M. Hennessy,
2002,
HLCL.
Matthew Hennessy,
Rob van Glabbeek,
R. V. Glabbeek,
2007
.
James Riely,
Matthew Hennessy,
1999,
POPL '99.
Matthew Hennessy,
M. Hennessy,
1986,
Networking in Open Systems.
Julian Rathke,
Matthew Hennessy,
1995,
CONCUR.
Matthew Hennessy,
1998
.
Matthew Hennessy,
S. Arun-Kumar,
1991,
TACS.
Carroll Morgan,
Matthew Hennessy,
Yuxin Deng,
2007,
LICS.
Matthew Hennessy,
Stephan Eidenbenz,
Peter Widmayer,
2002
.
Matthew Hennessy,
M. Hennessy,
1988,
MIT Press series in the foundations of computing.
Matthew Hennessy,
M. Hennessy,
1984,
Inf. Control..
Matthew Hennessy,
Huimin Lin,
M. Hennessy,
1995,
Theor. Comput. Sci..
Julian Rathke,
Nobuko Yoshida,
Matthew Hennessy,
2005,
Acta Informatica.
James Riely,
Matthew Hennessy,
1999,
Secure Internet Programming.
Matthew Hennessy,
Giovanni Tito Bernardi,
2012,
SAC '12.
Matthew Hennessy,
Alan Jeffrey,
William Ferreira,
1996,
ICFP '96.
Matthew Hennessy,
Rob van Glabbeek,
2007
.
Matthew Hennessy,
Samuel Hym,
2007,
Theor. Comput. Sci..
Matthew Hennessy,
2007
.
Matthew Hennessy,
Colin Stirling,
C. Stirling,
1984,
Inf. Control..
Matthew Hennessy,
Edsko de Vries,
Vasileios Koutavas,
2010,
APLAS.
Matthew Hennessy,
Gordon D. Plotkin,
G. Plotkin,
1980,
MFCS.
Matthew Hennessy,
Ilaria Castellani,
M. Hennessy,
1998,
FSTTCS.
Matthew Hennessy,
Giovanni Bernardi,
2016,
Math. Struct. Comput. Sci..
Matthew Hennessy,
2008,
Journal of Computer Science and Technology.
Matthew Hennessy,
2015,
CONCUR.
Matthew Hennessy,
1990,
CONCUR.
Matthew Hennessy,
1994,
Inf. Comput..
Matthew Hennessy,
Ilaria Castellani,
Gérard Boudol,
1991,
MFCS.
Carroll Morgan,
Matthew Hennessy,
Yuxin Deng,
2014,
Theor. Comput. Sci..
James Riely,
Matthew Hennessy,
M. Hennessy,
1998
.
Matthew Hennessy,
1999,
FCT.
Matthew Hennessy,
1980,
J. Comput. Syst. Sci..
Matthew Hennessy,
1992,
NATO ASI PDC.
Matthew Hennessy,
Ilaria Castellani,
Gérard Boudol,
1992,
Formal Aspects of Computing.
James Riely,
Matthew Hennessy,
2004,
Journal of Automated Reasoning.
Matthew Hennessy,
Ilaria Castellani,
Gérard Boudol,
1993,
Theor. Comput. Sci..
Matthew Hennessy,
S. Arun-Kumar,
M. Hennessy,
1991,
Acta Informatica.
Matthew Hennessy,
2007
.
Matthew Hennessy,
Vasileios Koutavas,
2012,
Comput. Lang. Syst. Struct..
Matthew Hennessy,
Tim Regan,
M. Hennessy,
1990,
FORTE.
Julian Rathke,
Matthew Hennessy,
Massimo Merro,
2004,
Theor. Comput. Sci..
Luca Aceto,
Matthew Hennessy,
1994,
Inf. Comput..
Luca Aceto,
Matthew Hennessy,
M. Hennessy,
1992,
JACM.
Matthew Hennessy,
Andrea Cerone,
M. Hennessy,
2010
.
Matthew Hennessy,
M. Hennessy,
1988,
SIAM J. Comput..
Matthew Hennessy,
Yuxin Deng,
M. Hennessy,
2013,
Sci. Comput. Program..
Matthew Hennessy,
Ilaria Castellani,
Gérard Boudol,
1992,
International Conference on Concurrency Theory.
Matthew Hennessy,
Alan Jeffrey,
William Ferreira,
2000,
Proof, Language, and Interaction.
Julian Rathke,
Matthew Hennessy,
M. Hennessy,
1995,
Theor. Comput. Sci..
Matthew Hennessy,
2004
.
Matthew Hennessy,
Massimo Merro,
M. Hennessy,
2006,
TOPL.
Matthew Hennessy,
Massimo Merro,
Andrea Cerone,
2013,
COORDINATION.
James Riely,
Matthew Hennessy,
1998,
POPL '98.
Matthew Hennessy,
Adrian Francalanza,
2006,
FoSSaCS.
Matthew Hennessy,
Edsko de Vries,
Vasileios Koutavas,
2010,
CONCUR.
Rance Cleaveland,
Matthew Hennessy,
R. Cleaveland,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Matthew Hennessy,
2007
.
Julian Rathke,
Alberto Ciaffaglione,
Matthew Hennessy,
2005,
FORTE.
Matthew Hennessy,
1992,
CONCUR.
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Glynn Winskel,
Matthew Hennessy,
Ilaria Castellani,
2008,
Concurrency, Graphs and Models.
Julian Rathke,
Matthew Hennessy,
Massimo Merro,
2003,
Theor. Comput. Sci..
Carroll Morgan,
Matthew Hennessy,
Yuxin Deng,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Matthew Hennessy,
Andrea Cerone,
2014,
TGC.
Nobuko Yoshida,
Matthew Hennessy,
1999,
CONCUR.
James Riely,
Matthew Hennessy,
M. Hennessy,
2001,
Theor. Comput. Sci..
Matthew Hennessy,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Matthew Hennessy,
Yuxin Deng,
2013,
Inf. Comput..
Matthew Hennessy,
Carlo Spaccasassi,
Vasileios Koutavas,
2014,
FoSSaCS.
Matthew Hennessy,
1999,
IFM.
Julian Rathke,
Matthew Hennessy,
1997,
TACS.
Matthew Hennessy,
Ilaria Castellani,
M. Hennessy,
1989,
JACM.
Matthew Hennessy,
Xinxin Liu,
1993,
CAV.
Matthew Hennessy,
Edsko de Vries,
Vasileios Koutavas,
2010,
CONCUR 2010.
Chrysafis Hartonas,
Matthew Hennessy,
M. Hennessy,
1997,
CSL.
Matthew Hennessy,
Adrian Francalanza,
2005,
CONCUR.
Matthew Hennessy,
1990
.
Julian Rathke,
Matthew Hennessy,
1997
.
Matthew Hennessy,
Adrian Francalanza,
Edsko de Vries,
2012
.
Matthew Hennessy,
Yuxin Deng,
M. Hennessy,
2011,
Inf. Comput..
Matthew Hennessy,
M. Hennessy,
2005,
J. Log. Algebraic Methods Program..
Matthew Hennessy,
Giovanni Tito Bernardi,
M. Hennessy,
2013,
SEFM Workshops.
Matthew Hennessy,
Edward A. Ashcroft,
1980,
Theor. Comput. Sci..
Matthew Hennessy,
Adrian Francalanza,
2008,
Inf. Comput..
Matthew Hennessy,
Astrid Kiehn,
1997,
Fundam. Informaticae.
Matthew Hennessy,
1984,
STOC '84.
Daniele Gorla,
Matthew Hennessy,
Vladimiro Sassone,
2005,
Log. Methods Comput. Sci..
Matthew Hennessy,
Andrea Cerone,
2012,
FMOODS/FORTE.
Julian Rathke,
Matthew Hennessy,
1996
.
Matthew Hennessy,
M. Hennessy,
1985,
ICALP.
Carroll Morgan,
Matthew Hennessy,
Yuxin Deng,
2009,
CONCUR.
Matthew Hennessy,
2011,
Log. Methods Comput. Sci..
Matthew Hennessy,
Bartek Klin,
2009,
Electron. Notes Theor. Comput. Sci..
Matthew Hennessy,
2007
.
Anna Ingólfsdóttir,
Matthew Hennessy,
M. Hennessy,
1993,
Formal Aspects of Computing.
Matthew Hennessy,
Edward A. Ashcroft,
1976,
ICALP.
Matthew Hennessy,
1986,
TOPL.
Luca Aceto,
Matthew Hennessy,
M. Hennessy,
1989,
Mathematical Foundations of Programming Semantics.
Nobuko Yoshida,
Matthew Hennessy,
2000
.
Matthew Hennessy,
Massimo Merro,
Andrea Cerone,
2013,
Log. Methods Comput. Sci..
Matthew Hennessy,
Adrian Francalanza,
2007,
J. Log. Algebraic Methods Program..
Behaviour and Design of Composite Steel and Precast Concrete Transom for Railway Bridges Application
Matthew Hennessy,
Brendan Kirkland,
Olivia Mirza,
2018
.
Matthew Hennessy,
1994,
ICALP.
Matthew Hennessy,
Colin Stirling,
1985,
Inf. Control..
Matthew Hennessy,
M. Hennessy,
1991,
Formal Aspects of Computing.
Matthew Hennessy,
Giovanni Bernardi,
2016,
Log. Methods Comput. Sci..
Matthew Hennessy,
Andrea Cerone,
2013,
Log. Methods Comput. Sci..
Matthew Hennessy,
M. Hennessy,
2002,
Theor. Comput. Sci..
Matthew Hennessy,
1993,
MFCS.
Julian Rathke,
Nobuko Yoshida,
Matthew Hennessy,
2004
.
Matthew Hennessy,
2017,
Models, Algorithms, Logics and Tools.
Rance Cleaveland,
Matthew Hennessy,
R. Cleaveland,
1989,
Formal Aspects of Computing.
James Riely,
Matthew Hennessy,
2000,
ICALP.
Matthew Hennessy,
Alan Jeffrey,
William Ferreira,
1998
.
James Riely,
Matthew Hennessy,
M. Hennessy,
1997,
ICALP.
Matthew Hennessy,
M. Hennessy,
1990
.
Matthew Hennessy,
Huimin Lin,
2005,
Formal Aspects of Computing.
Matthew Hennessy,
Maciej Gazda,
Vasileios Koutavas,
2018,
Inf. Comput..
Matthew Hennessy,
Giovanni Tito Bernardi,
M. Hennessy,
2013,
CONCUR.
Matthew Hennessy,
M. Hennessy,
1982
.
Luca Aceto,
Matthew Hennessy,
1993,
Inf. Comput..
Matthew Hennessy,
Adrian Francalanza,
Edsko de Vries,
2014,
Log. Methods Comput. Sci..
Robin Milner,
Matthew Hennessy,
R. Milner,
1985,
JACM.
Matthew Hennessy,
Yuxin Deng,
M. Hennessy,
2011,
FSEN.
Matthew Hennessy,
M. Hennessy,
1984,
Acta Informatica.
Luca Aceto,
Matthew Hennessy,
M. Hennessy,
1991,
Inf. Comput..
Matthew Hennessy,
1988,
REX Workshop.
Julian Rathke,
Matthew Hennessy,
2002,
Electron. Notes Theor. Comput. Sci..
Nobuko Yoshida,
Matthew Hennessy,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Matthew Hennessy,
Giovanni Tito Bernardi,
M. Hennessy,
2013,
CONCUR.
Anna Ingólfsdóttir,
Matthew Hennessy,
M. Hennessy,
1993,
Inf. Comput..
Matthew Hennessy,
M. Hennessy,
1982,
Symposium on Programming.
Matthew Hennessy,
M. Hennessy,
1985,
JACM.
Matthew Hennessy,
2012,
Formal Aspects of Computing.
Matthew Hennessy,
2005,
Acta Informatica.
Matthew Hennessy,
Gordon D. Plotkin,
G. Plotkin,
1979,
MFCS.
Robin Milner,
Matthew Hennessy,
R. Milner,
1980,
ICALP.
Matthew Hennessy,
M. Hennessy,
1981,
Inf. Control..
Matthew Hennessy,
Giovanni Tito Bernardi,
M. Hennessy,
2015,
Log. Methods Comput. Sci..
Matthew Hennessy,
M. Hennessy,
1980,
SIAM J. Comput..
James Riely,
Matthew Hennessy,
M. Hennessy,
2000,
TOPL.
Matthew Hennessy,
M. Hennessy,
1989,
FSTTCS.
Matthew Hennessy,
Adrian Francalanza,
Edsko de Vries,
2014,
J. Log. Comput..
Matthew Hennessy,
Samuel Hym,
2006,
Electron. Notes Theor. Comput. Sci..
Matthew Hennessy,
M. Hennessy,
2003,
MFPS.
Luca Aceto,
Matthew Hennessy,
M. Hennessy,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
J. van Leeuwen,
Jan van Leeuwen,
Matthew Hennessy,
2002,
Lecture Notes in Computer Science.
Nobuko Yoshida,
Matthew Hennessy,
1999
.
Matthew Hennessy,
M. Hennessy,
2019,
Models, Languages, and Tools for Concurrent and Distributed Programming.
Anna Ingólfsdóttir,
Matthew Hennessy,
M. Hennessy,
1990,
ICALP.
Rance Cleaveland,
Matthew Hennessy,
R. Cleaveland,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Matthew Hennessy,
1998,
EXPRESS.
Rocco De Nicola,
Matthew Hennessy,
R. Nicola,
1984,
Theor. Comput. Sci..
Matthew Hennessy,
Vasileios Koutavas,
M. Hennessy,
2011,
ESOP.
Matthew Hennessy,
Adrian Francalanza,
2007
.
Matthew Hennessy,
Ilaria Castellani,
Gérard Boudol,
1992
.
Matthew Hennessy,
Manish Gaur,
2009,
Electron. Notes Theor. Comput. Sci..
Daniele Gorla,
Matthew Hennessy,
Vladimiro Sassone,
2005,
Electron. Notes Theor. Comput. Sci..
Matthew Hennessy,
Massimo Merro,
M. Hennessy,
2002,
POPL '02.
Matthew Hennessy,
Tim Regan,
M. Hennessy,
1995,
Inf. Comput..
Matthew Hennessy,
Xinxin Liu,
2005,
Acta Informatica.
Matthew Hennessy,
2009,
TAMC.
Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation - (Extended Abstract)
Matthew Hennessy,
Vasileios Koutavas,
M. Hennessy,
2013,
CONCUR.
W. Li,
Matthew Hennessy,
Gordon D. Plotkin,
1981,
ICDCS.
Matthew Hennessy,
Adrian Francalanza,
2007,
ESOP.
Matthew Hennessy,
1987,
Theor. Comput. Sci..
Matthew Hennessy,
Edsko de Vries,
Vasileios Koutavas,
2010,
APLAS 2010.
Matthew Hennessy,
Andrea Cerone,
M. Hennessy,
2010,
EXPRESS.
Rocco De Nicola,
Matthew Hennessy,
R. Nicola,
1983,
ICALP.
Rance Cleaveland,
Matthew Hennessy,
1989,
Automatic Verification Methods for Finite State Systems.
Carroll Morgan,
Matthew Hennessy,
Yuxin Deng,
2009
.
Anna Ingólfsdóttir,
Matthew Hennessy,
1993
.
Julian Rathke,
Alberto Ciaffaglione,
Matthew Hennessy,
2005
.
Matthew Hennessy,
M. Hennessy,
2002
.
Matthew Hennessy,
Massimo Merro,
Andrea Cerone,
2013,
Log. Methods Comput. Sci..
Matthew Hennessy,
2007
.
Matthew Hennessy,
Adrian Francalanza,
2005
.
Matthew Hennessy,
X. Liu,
1995
.