Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Matthew Hennessy
@inproceedings{DBLP:conf/birthday/Hennessy19,
author = {Matthew Hennessy},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {An Equational Characterisation of the Must Testing Pre-order for Regular
Processes},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {15--27},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_3},
doi = {10.1007/978-3-030-21485-2\_3},
timestamp = {Thu, 04 Jul 2019 14:12:17 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Hennessy19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KoutavasGH18,
author = {Vasileios Koutavas and
Maciej Gazda and
Matthew Hennessy},
title = {Distinguishing between communicating transactions},
journal = {Inf. Comput.},
volume = {259},
number = {1},
pages = {1--30},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2017.12.001},
doi = {10.1016/J.IC.2017.12.001},
timestamp = {Wed, 04 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/KoutavasGH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Hennessy17,
author = {Matthew Hennessy},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {A Coinductive Equational Characterisation of Trace Inclusion for Regular
Processes},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {449--465},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_22},
doi = {10.1007/978-3-319-63121-9\_22},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Hennessy17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KoutavasGH17,
author = {Vasileios Koutavas and
Maciej Gazda and
Matthew Hennessy},
title = {Distinguishing between Communicating Transactions},
journal = {CoRR},
volume = {abs/1703.03256},
year = {2017},
url = {http://arxiv.org/abs/1703.03256},
eprinttype = {arXiv},
eprint = {1703.03256},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KoutavasGH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BernardiH13,
author = {Giovanni Bernardi and
Matthew Hennessy},
title = {Using higher-order contracts to model session types},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {2},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(2:10)2016},
doi = {10.2168/LMCS-12(2:10)2016},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BernardiH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BernardiH16,
author = {Giovanni Tito Bernardi and
Matthew Hennessy},
title = {Modelling session types using contracts},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {3},
pages = {510--560},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000243},
doi = {10.1017/S0960129514000243},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BernardiH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CeroneHM14,
author = {Andrea Cerone and
Matthew Hennessy and
Massimo Merro},
title = {Modelling MAC-Layer Communications in Wireless Systems},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {1},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(1:18)2015},
doi = {10.2168/LMCS-11(1:18)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CeroneHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BernardiH15,
author = {Giovanni Bernardi and
Matthew Hennessy},
title = {Mutually Testing Processes},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {2},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(2:1)2015},
doi = {10.2168/LMCS-11(2:1)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BernardiH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Hennessy15,
author = {Matthew Hennessy},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Behavioural Equivalences for Co-operating Transactions (Invited Paper)},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {41--41},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.41},
doi = {10.4230/LIPICS.CONCUR.2015.41},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/Hennessy15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FrancalanzaVH14,
author = {Adrian Francalanza and
Edsko de Vries and
Matthew Hennessy},
title = {Compositional Reasoning for Explicit Resource Management in Channel-Based
Concurrency},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {2},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(2:15)2014},
doi = {10.2168/LMCS-10(2:15)2014},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FrancalanzaVH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/VriesFH14,
author = {Edsko de Vries and
Adrian Francalanza and
Matthew Hennessy},
title = {Uniqueness typing for resource management in message-passing concurrency},
journal = {J. Log. Comput.},
volume = {24},
number = {3},
pages = {531--556},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs022},
doi = {10.1093/LOGCOM/EXS022},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/VriesFH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DengGHM14,
author = {Yuxin Deng and
Rob J. van Glabbeek and
Matthew Hennessy and
Carroll Morgan},
title = {Real-reward testing for probabilistic processes},
journal = {Theor. Comput. Sci.},
volume = {538},
pages = {16--36},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2013.07.016},
doi = {10.1016/J.TCS.2013.07.016},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DengGHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BernardiH14,
author = {Giovanni Bernardi and
Matthew Hennessy},
editor = {Paolo Baldan and
Daniele Gorla},
title = {Using Higher-Order Contracts to Model Session Types (Extended Abstract)},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {387--401},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_27},
doi = {10.1007/978-3-662-44584-6\_27},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BernardiH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KoutavasSH14,
author = {Vasileios Koutavas and
Carlo Spaccasassi and
Matthew Hennessy},
editor = {Anca Muscholl},
title = {Bisimulations for Communicating Transactions - (Extended Abstract)},
booktitle = {Foundations of Software Science and Computation Structures - 17th
International Conference, {FOSSACS} 2014, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
Grenoble, France, April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8412},
pages = {320--334},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54830-7\_21},
doi = {10.1007/978-3-642-54830-7\_21},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/KoutavasSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/CeroneH14,
author = {Andrea Cerone and
Matthew Hennessy},
editor = {Matteo Maffei and
Emilio Tuosto},
title = {Characterising Testing Preorders for Broadcasting Distributed Systems},
booktitle = {Trustworthy Global Computing - 9th International Symposium, {TGC}
2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8902},
pages = {67--81},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45917-1\_5},
doi = {10.1007/978-3-662-45917-1\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/CeroneH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CeroneH13,
author = {Andrea Cerone and
Matthew Hennessy},
title = {Modelling Probabilistic Wireless Networks},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:26)2013},
doi = {10.2168/LMCS-9(3:26)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CeroneH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DengH13,
author = {Yuxin Deng and
Matthew Hennessy},
title = {On the semantics of Markov automata},
journal = {Inf. Comput.},
volume = {222},
pages = {139--168},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2012.10.010},
doi = {10.1016/J.IC.2012.10.010},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/DengH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DengH13,
author = {Yuxin Deng and
Matthew Hennessy},
title = {Compositional reasoning for weighted Markov decision processes},
journal = {Sci. Comput. Program.},
volume = {78},
number = {12},
pages = {2537--2579},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2013.02.009},
doi = {10.1016/J.SCICO.2013.02.009},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/DengH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BernardiH13,
author = {Giovanni Bernardi and
Matthew Hennessy},
editor = {Pedro R. D'Argenio and
Hern{\'{a}}n C. Melgratti},
title = {Mutually Testing Processes - (Extended Abstract)},
booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
{CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {61--75},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40184-8\_6},
doi = {10.1007/978-3-642-40184-8\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BernardiH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KoutavasH13,
author = {Vasileios Koutavas and
Matthew Hennessy},
editor = {Pedro R. D'Argenio and
Hern{\'{a}}n C. Melgratti},
title = {Symbolic Bisimulation for a Higher-Order Distributed Language with
Passivation - (Extended Abstract)},
booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
{CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {167--181},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40184-8\_13},
doi = {10.1007/978-3-642-40184-8\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KoutavasH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CeroneHM13,
author = {Andrea Cerone and
Matthew Hennessy and
Massimo Merro},
editor = {Rocco De Nicola and
Christine Julien},
title = {Modelling MAC-Layer Communications in Wireless Systems},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {16--30},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_2},
doi = {10.1007/978-3-642-38493-6\_2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/CeroneHM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BernardiH13,
author = {Giovanni Bernardi and
Matthew Hennessy},
editor = {Steve Counsell and
Manuel N{\'{u}}{\~{n}}ez},
title = {Compliance and Testing Preorders Differ},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
September 23-24, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8368},
pages = {69--81},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05032-4\_6},
doi = {10.1007/978-3-319-05032-4\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BernardiH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/KoutavasH12,
author = {Vasileios Koutavas and
Matthew Hennessy},
title = {First-order reasoning for higher-order concurrency},
journal = {Comput. Lang. Syst. Struct.},
volume = {38},
number = {3},
pages = {242--277},
year = {2012},
url = {https://doi.org/10.1016/j.cl.2012.04.003},
doi = {10.1016/J.CL.2012.04.003},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/KoutavasH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hennessy12,
author = {Matthew Hennessy},
title = {Exploring probabilistic bisimulations, part {I}},
journal = {Formal Aspects Comput.},
volume = {24},
number = {4-6},
pages = {749--768},
year = {2012},
url = {https://doi.org/10.1007/s00165-012-0242-7},
doi = {10.1007/S00165-012-0242-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hennessy12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CeroneH12,
author = {Andrea Cerone and
Matthew Hennessy},
editor = {Holger Giese and
Grigore Rosu},
title = {Modelling Probabilistic Wireless Networks - (Extended Abstract)},
booktitle = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7273},
pages = {135--151},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30793-5\_9},
doi = {10.1007/978-3-642-30793-5\_9},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/CeroneH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BernardiH12,
author = {Giovanni Bernardi and
Matthew Hennessy},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Modelling session types using contracts},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1941--1946},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2232097},
doi = {10.1145/2245276.2232097},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/BernardiH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-6308,
author = {Matthew Hennessy},
title = {A calculus for costed computations},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:7)2011},
doi = {10.2168/LMCS-7(1:7)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-6308.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KoutavasH11,
author = {Vasileios Koutavas and
Matthew Hennessy},
editor = {Gilles Barthe},
title = {A Testing Theory for a Higher-Order Cryptographic Language - (Extended
Abstract)},
booktitle = {Programming Languages and Systems - 20th European Symposium on Programming,
{ESOP} 2011, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany,
March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6602},
pages = {358--377},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19718-5\_19},
doi = {10.1007/978-3-642-19718-5\_19},
timestamp = {Sat, 19 Oct 2019 20:28:04 +0200},
biburl = {https://dblp.org/rec/conf/esop/KoutavasH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/DengH11,
author = {Yuxin Deng and
Matthew Hennessy},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Compositional Reasoning for Markov Decision Processes - (Extended
Abstract)},
booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
{FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7141},
pages = {143--157},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29320-7\_10},
doi = {10.1007/978-3-642-29320-7\_10},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/DengH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DengH11,
author = {Yuxin Deng and
Matthew Hennessy},
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {On the Semantics of Markov Automata},
booktitle = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6756},
pages = {307--318},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22012-8\_24},
doi = {10.1007/978-3-642-22012-8\_24},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DengH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1107-1201,
author = {Yuxin Deng and
Rob J. van Glabbeek and
Matthew Hennessy and
Carroll Morgan},
editor = {Mieke Massink and
Gethin Norman},
title = {Real-Reward Testing for Probabilistic Processes (Extended Abstract)},
booktitle = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
2011},
series = {{EPTCS}},
volume = {57},
pages = {61--73},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.57.5},
doi = {10.4204/EPTCS.57.5},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-1201.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/VriesKH10,
author = {Edsko de Vries and
Vasileios Koutavas and
Matthew Hennessy},
editor = {Kazunori Ueda},
title = {Liveness of Communicating Transactions (Extended Abstract)},
booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
Shanghai, China, November 28 - December 1, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6461},
pages = {392--407},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17164-2\_27},
doi = {10.1007/978-3-642-17164-2\_27},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/VriesKH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/VriesKH10,
author = {Edsko de Vries and
Vasileios Koutavas and
Matthew Hennessy},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Communicating Transactions - (Extended Abstract)},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {569--583},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_39},
doi = {10.1007/978-3-642-15375-4\_39},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/VriesKH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1011-6438,
author = {Andrea Cerone and
Matthew Hennessy},
editor = {Sibylle B. Fr{\"{o}}schle and
Frank D. Valencia},
title = {Process Behaviour: Formulae vs. Tests (Extended Abstract)},
booktitle = {Proceedings 17th International Workshop on Expressiveness in Concurrency,
EXPRESS'10, Paris, France, August 30th, 2010},
series = {{EPTCS}},
volume = {41},
pages = {31--45},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.41.3},
doi = {10.4204/EPTCS.41.3},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-6438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DengGHM09,
author = {Yuxin Deng and
Rob J. van Glabbeek and
Matthew Hennessy and
Carroll Morgan},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Testing Finitary Probabilistic Processes},
booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
{CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5710},
pages = {274--288},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04081-8\_19},
doi = {10.1007/978-3-642-04081-8\_19},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DengGHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Hennessy09,
author = {Matthew Hennessy},
editor = {Jianer Chen and
S. Barry Cooper},
title = {Distributed Systems and Their Environments},
booktitle = {Theory and Applications of Models of Computation, 6th Annual Conference,
{TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5532},
pages = {4--5},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02017-9\_3},
doi = {10.1007/978-3-642-02017-9\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/tamc/Hennessy09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1003-5513,
author = {Edsko de Vries and
Adrian Francalanza and
Matthew Hennessy},
editor = {M{\'{a}}rio Florido and
Ian Mackie},
title = {Uniqueness Typing for Resource Management in Message-Passing Concurrency},
booktitle = {Proceedings First International Workshop on Linearity, {LINEARITY}
2009, Coimbra, Portugal, 12th September 2009},
series = {{EPTCS}},
volume = {22},
pages = {26--37},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.22.3},
doi = {10.4204/EPTCS.22.3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-5513.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sos/2008,
editor = {Matthew Hennessy and
Bartek Klin},
title = {Proceedings of the Fifth Workshop on Structural Operational Semantics,
SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {4},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/229/issue/4},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sos/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FrancalanzaH08,
author = {Adrian Francalanza and
Matthew Hennessy},
title = {A theory of system behaviour in the presence of node and link failure},
journal = {Inf. Comput.},
volume = {206},
number = {6},
pages = {711--759},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2007.12.002},
doi = {10.1016/J.IC.2007.12.002},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/FrancalanzaH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DengGHM08,
author = {Yuxin Deng and
Rob J. van Glabbeek and
Matthew Hennessy and
Carroll Morgan},
title = {Characterising Testing Preorders for Finite Probabilistic Processes},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {4},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(4:4)2008},
doi = {10.2168/LMCS-4(4:4)2008},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/DengGHM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BoudolCHNW08,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani and
Matthew Hennessy and
Mogens Nielsen and
Glynn Winskel},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {Twenty Years on: Reflections on the {CEDISYS} Project. Combining True
Concurrency with Process Algebra},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {757--777},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_47},
doi = {10.1007/978-3-540-68679-8\_47},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BoudolCHNW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HennessyK09,
author = {Matthew Hennessy and
Bartek Klin},
editor = {Matthew Hennessy and
Bartek Klin},
title = {Preface},
booktitle = {Proceedings of the Fifth Workshop on Structural Operational Semantics,
SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {4},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.069},
doi = {10.1016/J.ENTCS.2009.07.069},
timestamp = {Fri, 24 Feb 2023 11:47:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HennessyK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HennessyG09,
author = {Matthew Hennessy and
Manish Gaur},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {Counting the Cost in the Picalculus (Extended Abstract)},
booktitle = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
pages = {117--129},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.042},
doi = {10.1016/J.ENTCS.2009.06.042},
timestamp = {Fri, 24 Feb 2023 11:41:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HennessyG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0810-3708,
author = {Yuxin Deng and
Matthew Hennessy and
Rob J. van Glabbeek and
Carroll Morgan},
title = {Characterising Testing Preorders for Finite Probabilistic Processes},
journal = {CoRR},
volume = {abs/0810.3708},
year = {2008},
url = {http://arxiv.org/abs/0810.3708},
eprinttype = {arXiv},
eprint = {0810.3708},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0810-3708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0018113,
author = {Matthew Hennessy},
title = {A distributed Pi-calculus},
publisher = {Cambridge University Press},
year = {2007},
timestamp = {Thu, 17 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0018113.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FrancalanzaH07,
author = {Adrian Francalanza and
Matthew Hennessy},
title = {A theory for observational fault tolerance},
journal = {J. Log. Algebraic Methods Program.},
volume = {73},
number = {1-2},
pages = {22--50},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2007.03.003},
doi = {10.1016/J.JLAP.2007.03.003},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/FrancalanzaH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HymH07,
author = {Samuel Hym and
Matthew Hennessy},
title = {Adding recursion to Dpi},
journal = {Theor. Comput. Sci.},
volume = {373},
number = {3},
pages = {182--212},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.12.017},
doi = {10.1016/J.TCS.2006.12.017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HymH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FrancalanzaH07,
author = {Adrian Francalanza and
Matthew Hennessy},
editor = {Rocco De Nicola},
title = {A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {395--410},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_27},
doi = {10.1007/978-3-540-71316-6\_27},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/FrancalanzaH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DengGHMZ07,
author = {Yuxin Deng and
Rob J. van Glabbeek and
Matthew Hennessy and
Carroll Morgan and
Chenyi Zhang},
title = {Characterising Testing Preorders for Finite Probabilistic Processes},
booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007),
10-12 July 2007, Wroclaw, Poland, Proceedings},
pages = {313--325},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/LICS.2007.15},
doi = {10.1109/LICS.2007.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DengGHMZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GlabbeekH07,
author = {Rob J. van Glabbeek and
Matthew Hennessy},
editor = {Rob van Glabbeek and
Matthew Hennessy},
title = {Preface},
booktitle = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {1},
pages = {1--3},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.10.001},
doi = {10.1016/J.ENTCS.2007.10.001},
timestamp = {Thu, 09 Feb 2023 10:45:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GlabbeekH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DengGHMZ07,
author = {Yuxin Deng and
Rob J. van Glabbeek and
Matthew Hennessy and
Carroll Morgan and
Chenyi Zhang},
editor = {Luca Cardelli and
Marcelo Fiore and
Glynn Winskel},
title = {Remarks on Testing Probabilistic Processes},
booktitle = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
series = {Electronic Notes in Theoretical Computer Science},
volume = {172},
pages = {359--397},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.02.013},
doi = {10.1016/J.ENTCS.2007.02.013},
timestamp = {Tue, 24 Jan 2023 11:36:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DengGHMZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sos/2007,
editor = {Rob van Glabbeek and
Matthew Hennessy},
title = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {1},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/192/issue/1},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sos/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MerroH06,
author = {Massimo Merro and
Matthew Hennessy},
title = {A bisimulation-based semantic theory of Safe Ambients},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {28},
number = {2},
pages = {290--330},
year = {2006},
url = {https://doi.org/10.1145/1119479.1119482},
doi = {10.1145/1119479.1119482},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MerroH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/FrancalanzaH06,
author = {Adrian Francalanza and
Matthew Hennessy},
editor = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A Theory for Observational Fault Tolerance},
booktitle = {Foundations of Software Science and Computation Structures, 9th International
Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 25-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3921},
pages = {16--31},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11690634\_2},
doi = {10.1007/11690634\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/FrancalanzaH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/GorlaHS06,
author = {Daniele Gorla and
Matthew Hennessy and
Vladimiro Sassone},
editor = {Annalisa Bossi and
Michael J. Maher},
title = {Inferring dynamic credentials for r{\^{o}}le-based trust management},
booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 10-12, 2006,
Venice, Italy},
pages = {213--224},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1140335.1140361},
doi = {10.1145/1140335.1140361},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/GorlaHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HennessyRY05,
author = {Matthew Hennessy and
Julian Rathke and
Nobuko Yoshida},
title = {safeDpi: a language for controlling mobile code},
journal = {Acta Informatica},
volume = {42},
number = {4-5},
pages = {227--290},
year = {2005},
url = {https://doi.org/10.1007/s00236-005-0178-y},
doi = {10.1007/S00236-005-0178-Y},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/HennessyRY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Hennessy05,
author = {Matthew Hennessy},
title = {The security pi-calculus and non-interference},
journal = {J. Log. Algebraic Methods Program.},
volume = {63},
number = {1},
pages = {3--34},
year = {2005},
url = {https://doi.org/10.1016/j.jlap.2004.01.003},
doi = {10.1016/J.JLAP.2004.01.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Hennessy05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GorlaHS05,
author = {Daniele Gorla and
Matthew Hennessy and
Vladimiro Sassone},
title = {Security Policies as Membranes in Systems for Global Computing},
journal = {Log. Methods Comput. Sci.},
volume = {1},
number = {3},
year = {2005},
url = {https://doi.org/10.2168/LMCS-1(3:2)2005},
doi = {10.2168/LMCS-1(3:2)2005},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/GorlaHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FrancalanzaH05,
author = {Adrian Francalanza and
Matthew Hennessy},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {A Theory of System Behaviour in the Presence of Node and Link Failures},
booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {368--382},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_29},
doi = {10.1007/11539452\_29},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FrancalanzaH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CiaffaglioneHR05,
author = {Alberto Ciaffaglione and
Matthew Hennessy and
Julian Rathke},
editor = {Farn Wang},
title = {Proof Methodologies for Behavioural Equivalence in {DPI}},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {335--350},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_25},
doi = {10.1007/11562436\_25},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/CiaffaglioneHR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HymH06,
author = {Samuel Hym and
Matthew Hennessy},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {Adding Recursion to Dpi: (Extended Abstract)},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {115--133},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.09.029},
doi = {10.1016/J.ENTCS.2005.09.029},
timestamp = {Thu, 15 Dec 2022 16:08:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HymH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0506061,
author = {Daniele Gorla and
Matthew Hennessy and
Vladimiro Sassone},
title = {Security Policies as Membranes in Systems for Global Computing},
journal = {CoRR},
volume = {abs/cs/0506061},
year = {2005},
url = {http://arxiv.org/abs/cs/0506061},
eprinttype = {arXiv},
eprint = {cs/0506061},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0506061.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HennessyR04,
author = {Matthew Hennessy and
Julian Rathke},
title = {Typed behavioural equivalences for processes in the presence of subtyping},
journal = {Math. Struct. Comput. Sci.},
volume = {14},
number = {5},
pages = {651--684},
year = {2004},
url = {https://doi.org/10.1017/S0960129504004281},
doi = {10.1017/S0960129504004281},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HennessyR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EidenbenzHBRWC04,
author = {Stephan J. Eidenbenz and
Matthew Hennessy and
Rafael Morales Bueno and
Francisco Triguero Ruiz and
Peter Widmayer and
Ricardo Conejo},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {312},
number = {1},
pages = {1--2},
year = {2004},
url = {https://doi.org/10.1016/S0304-3975(03)00399-2},
doi = {10.1016/S0304-3975(03)00399-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EidenbenzHBRWC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HennessyMR04,
author = {Matthew Hennessy and
Massimo Merro and
Julian Rathke},
title = {Towards a behavioural theory of access and mobility control in distributed
systems},
journal = {Theor. Comput. Sci.},
volume = {322},
number = {3},
pages = {615--669},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.12.024},
doi = {10.1016/J.TCS.2003.12.024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HennessyMR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HennessyRY04,
author = {Matthew Hennessy and
Julian Rathke and
Nobuko Yoshida},
editor = {Igor Walukiewicz},
title = {safeDpi: {A} Language for Controlling Mobile Code},
booktitle = {Foundations of Software Science and Computation Structures, 7th International
Conference, {FOSSACS} 2004, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain,
March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2987},
pages = {241--256},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24727-2\_18},
doi = {10.1007/978-3-540-24727-2\_18},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HennessyRY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GorlaHS05,
author = {Daniele Gorla and
Matthew Hennessy and
Vladimiro Sassone},
editor = {Julian Rathke},
title = {Security Policies as Membranes in Systems for Global Computing},
booktitle = {Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous
Computing, {FGUC} 2004, London, UK, September 3-4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {1},
pages = {23--42},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.05.003},
doi = {10.1016/J.ENTCS.2005.05.003},
timestamp = {Tue, 13 Dec 2022 09:03:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GorlaHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/RielyH03,
author = {James Riely and
Matthew Hennessy},
title = {Trust and Partial Typing in Open Systems of Mobile Agents},
journal = {J. Autom. Reason.},
volume = {31},
number = {3-4},
pages = {335--370},
year = {2003},
url = {https://doi.org/10.1023/B:JARS.0000021016.61054.3b},
doi = {10.1023/B:JARS.0000021016.61054.3B},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/RielyH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HennessyMR03,
author = {Matthew Hennessy and
Massimo Merro and
Julian Rathke},
editor = {Andrew D. Gordon},
title = {Towards a Behavioural Theory of Access and Mobility Control in Distributed
Systems},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {282--298},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_18},
doi = {10.1007/3-540-36576-1\_18},
timestamp = {Mon, 14 Feb 2022 09:20:26 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/HennessyMR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Hennessy03,
author = {Matthew Hennessy},
editor = {Stephen D. Brookes and
Prakash Panangaden},
title = {The Security Picalculus and Non-interference (Extended Abstract)},
booktitle = {Proceedings of 19th Conference on the Mathematical Foundations of
Programming Semantics, {MFPS} 2003, Universit{\'{e}} de Montr{\'{e}}al,
QC, Canada, March 19-22, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {83},
pages = {113--129},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(03)50006-8},
doi = {10.1016/S1571-0661(03)50006-8},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Hennessy03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HennessyR02,
author = {Matthew Hennessy and
James Riely},
title = {Resource Access Control in Systems of Mobile Agents},
journal = {Inf. Comput.},
volume = {173},
number = {1},
pages = {82--120},
year = {2002},
url = {https://doi.org/10.1006/inco.2001.3089},
doi = {10.1006/INCO.2001.3089},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HennessyR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/YoshidaH02,
author = {Nobuko Yoshida and
Matthew Hennessy},
title = {Assigning Types to Processes},
journal = {Inf. Comput.},
volume = {174},
number = {2},
pages = {143--179},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.3113},
doi = {10.1006/INCO.2002.3113},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/YoshidaH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hennessy02,
author = {Matthew Hennessy},
title = {A fully abstract denotational semantics for the pi-calculus},
journal = {Theor. Comput. Sci.},
volume = {278},
number = {1-2},
pages = {53--89},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(00)00331-5},
doi = {10.1016/S0304-3975(00)00331-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hennessy02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HennessyR02,
author = {Matthew Hennessy and
James Riely},
title = {Information flow vs. resource access in the asynchronous pi-calculus},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {24},
number = {5},
pages = {566--591},
year = {2002},
url = {https://doi.org/10.1145/570886.570890},
doi = {10.1145/570886.570890},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HennessyR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MerroH02,
author = {Massimo Merro and
Matthew Hennessy},
editor = {John Launchbury and
John C. Mitchell},
title = {Bisimulation congruences in safe ambients},
booktitle = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, OR, USA, January
16-18, 2002},
pages = {71--80},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/503272.503280},
doi = {10.1145/503272.503280},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/popl/MerroH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HennessyR02,
author = {Matthew Hennessy and
Julian Rathke},
editor = {James Harland},
title = {Typed behavioural equivalences for processes in the presence of subtyping},
booktitle = {Computing: the Australasian Theory Symposium, {CATS} 2002, Melbourne,
Australia},
series = {Electronic Notes in Theoretical Computer Science},
volume = {61},
pages = {122--139},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)00309-3},
doi = {10.1016/S1571-0661(04)00309-3},
timestamp = {Fri, 11 Nov 2022 16:14:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HennessyR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2002,
editor = {Peter Widmayer and
Francisco Triguero Ruiz and
Rafael Morales Bueno and
Matthew Hennessy and
Stephan J. Eidenbenz and
Ricardo Conejo},
title = {Automata, Languages and Programming, 29th International Colloquium,
{ICALP} 2002, Malaga, Spain, July 8-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2380},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45465-9},
doi = {10.1007/3-540-45465-9},
isbn = {3-540-43864-5},
timestamp = {Wed, 11 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HennessyLR01,
author = {Matthew Hennessy and
Huimin Lin and
Julian Rathke},
title = {Unique fixpoint induction for message-passing process calculi},
journal = {Sci. Comput. Program.},
volume = {41},
number = {3},
pages = {241--275},
year = {2001},
url = {https://doi.org/10.1016/S0167-6423(01)00008-9},
doi = {10.1016/S0167-6423(01)00008-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HennessyLR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RielyH01,
author = {James Riely and
Matthew Hennessy},
title = {Distributed processes and location failures},
journal = {Theor. Comput. Sci.},
volume = {266},
number = {1-2},
pages = {693--735},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00326-1},
doi = {10.1016/S0304-3975(00)00326-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RielyH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FerreiraHJ00,
author = {William Ferreira and
Matthew Hennessy and
Alan Jeffrey},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Combining the typed lambda-calculus with {CCS}},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {511--534},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Tue, 16 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FerreiraHJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HennessyR00,
author = {Matthew Hennessy and
James Riely},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {Information Flow vs. Resource Access in the Asynchronous Pi-Calculus},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {415--427},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_35},
doi = {10.1007/3-540-45022-X\_35},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HennessyR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/YoshidaH00,
author = {Nobuko Yoshida and
Matthew Hennessy},
title = {Assigning Types to Processes},
booktitle = {15th Annual {IEEE} Symposium on Logic in Computer Science, Santa Barbara,
California, USA, June 26-29, 2000},
pages = {334--345},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/LICS.2000.855782},
doi = {10.1109/LICS.2000.855782},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/YoshidaH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FerreiraH99,
author = {William Ferreira and
Matthew Hennessy},
title = {A Behavioural Theory of First-Order {CML}},
journal = {Theor. Comput. Sci.},
volume = {216},
number = {1-2},
pages = {55--107},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00049-8},
doi = {10.1016/S0304-3975(98)00049-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FerreiraH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/YoshidaH99,
author = {Nobuko Yoshida and
Matthew Hennessy},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {Suptyping and Locality in Distributed Higher Order Processes (extended
abstract)},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {557--572},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_38},
doi = {10.1007/3-540-48320-9\_38},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/YoshidaH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/HennessyR99,
author = {Matthew Hennessy and
James Riely},
editor = {Jan Vitek and
Christian Damsgaard Jensen},
title = {Type-Safe Execution of Mobile Agents in Anonymous Networks},
booktitle = {Secure Internet Programming, Security Issues for Mobile and Distributed
Objects},
series = {Lecture Notes in Computer Science},
volume = {1603},
pages = {95--115},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48749-2\_5},
doi = {10.1007/3-540-48749-2\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/HennessyR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Hennessy99,
author = {Matthew Hennessy},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Axiomatising Asynchronous Process Calculi (abstract)},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {90},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_5},
doi = {10.1007/3-540-48321-7\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/Hennessy99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Hennessy99,
author = {Matthew Hennessy},
editor = {Keijiro Araki and
Andy Galloway and
Kenji Taguchi},
title = {Proof Systems for Message-Passing Process Calculi},
booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference
on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
pages = {26},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0851-1\_2},
doi = {10.1007/978-1-4471-0851-1\_2},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Hennessy99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RielyH99,
author = {James Riely and
Matthew Hennessy},
editor = {Andrew W. Appel and
Alex Aiken},
title = {Trust and Partial Typing in Open Systems of Mobile Agents},
booktitle = {{POPL} '99, Proceedings of the 26th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Antonio, TX, USA, January
20-22, 1999},
pages = {93--104},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/292540.292551},
doi = {10.1145/292540.292551},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/RielyH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HartonasH98,
author = {Chrysafis Hartonas and
Matthew Hennessy},
title = {Full Abstractness for a Functional/Concurrent Language with Higher-Order
Value-Passing},
journal = {Inf. Comput.},
volume = {145},
number = {1},
pages = {64--106},
year = {1998},
url = {https://doi.org/10.1006/inco.1998.2723},
doi = {10.1006/INCO.1998.2723},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HartonasH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/CurienHL98,
author = {Pierre{-}Louis Curien and
Matthew Hennessy and
Huimin Lin},
title = {Preface},
journal = {J. Comput. Sci. Technol.},
volume = {13},
number = {6},
pages = {481},
year = {1998},
url = {https://doi.org/10.1007/BF02946487},
doi = {10.1007/BF02946487},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/CurienHL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/Hennessy98,
author = {Matthew Hennessy},
title = {Process Calculi for describing distributed systems},
journal = {J. Comput. Sci. Technol.},
volume = {13},
number = {6},
pages = {490},
year = {1998},
url = {https://doi.org/10.1007/BF02946490},
doi = {10.1007/BF02946490},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/Hennessy98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FerreiraHJ98,
author = {William Ferreira and
Matthew Hennessy and
Alan Jeffrey},
title = {A Theory of Weak Bisimulation for Core {CML}},
journal = {J. Funct. Program.},
volume = {8},
number = {5},
pages = {447--491},
year = {1998},
url = {https://doi.org/10.1017/s0956796898003165},
doi = {10.1017/S0956796898003165},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/FerreiraHJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HennessyR98,
author = {Matthew Hennessy and
Julian Rathke},
title = {Bisimulations for a Calculus of Broadcasting Systems},
journal = {Theor. Comput. Sci.},
volume = {200},
number = {1-2},
pages = {225--260},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00261-2},
doi = {10.1016/S0304-3975(97)00261-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HennessyR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/HennessyR98,
author = {Matthew Hennessy and
James Riely},
editor = {Serge Demeyer and
Jan Bosch},
title = {Type-Safe Execution of Mobile Agents in Anonymous Networks},
booktitle = {Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops,
Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1543},
pages = {304},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49255-0\_81},
doi = {10.1007/3-540-49255-0\_81},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/HennessyR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CastellaniH98,
author = {Ilaria Castellani and
Matthew Hennessy},
editor = {Vikraman Arvind and
Ramaswamy Ramanujam},
title = {Testing Theories for Asynchronous Languages},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
18th Conference, Chennai, India, December 17-19, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1530},
pages = {90--101},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49382-2\_9},
doi = {10.1007/978-3-540-49382-2\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/CastellaniH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RielyH98,
author = {James Riely and
Matthew Hennessy},
editor = {David B. MacQueen and
Luca Cardelli},
title = {A Typed Language for Distributed Mobile Processes (Extended Abstract)},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {378--390},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268978},
doi = {10.1145/268946.268978},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/RielyH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hennessy98,
author = {Matthew Hennessy},
editor = {Ilaria Castellani and
Catuscia Palamidessi},
title = {A survey of location calculi},
booktitle = {Fifth International Workshop on Expressiveness in Concurrency, {EXPRESS}
1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September
7, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {16},
number = {2},
pages = {97},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(04)00119-7},
doi = {10.1016/S1571-0661(04)00119-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hennessy98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HennessyR98,
author = {Matthew Hennessy and
James Riely},
editor = {Uwe Nestmann and
Benjamin C. Pierce},
title = {Resource Access Control in Systems of Mobile Agents},
booktitle = {3rd International Workshop on High-Level Concurrent Languages, {HLCL}
1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September
12, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {16},
number = {3},
pages = {174--188},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(04)00141-0},
doi = {10.1016/S1571-0661(04)00141-0},
timestamp = {Fri, 11 Nov 2022 14:28:39 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HennessyR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KiehnH97,
author = {Astrid Kiehn and
Matthew Hennessy},
title = {On the Decidability of Non-Interleaving Process Equivalences},
journal = {Fundam. Informaticae},
volume = {30},
number = {1},
pages = {11--30},
year = {1997},
url = {https://doi.org/10.3233/FI-1997-30102},
doi = {10.3233/FI-1997-30102},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KiehnH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HartonasH97,
author = {Chrysafis Hartonas and
Matthew Hennessy},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Full Abstractness for a Functional/Concurrent Language with Higher-Order
Value-Passing (Extended Abstract)},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {239--254},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028018},
doi = {10.1007/BFB0028018},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/HartonasH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RielyH97,
author = {James Riely and
Matthew Hennessy},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Distributed Processes and Location Failures (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {471--481},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_203},
doi = {10.1007/3-540-63165-8\_203},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/RielyH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/RathkeH97,
author = {Julian Rathke and
Matthew Hennessy},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Local Model Checking for Value-Passing Processes (Extended Abstract)},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {250--266},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014555},
doi = {10.1007/BFB0014555},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/RathkeH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HennessyL96,
author = {Matthew Hennessy and
Huimin Lin},
title = {Proof Systems for Message-Passing Process Algebras},
journal = {Formal Aspects Comput.},
volume = {8},
number = {4},
pages = {379--407},
year = {1996},
url = {https://doi.org/10.1007/BF01213531},
doi = {10.1007/BF01213531},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HennessyL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FerreiraHJ96,
author = {William Ferreira and
Matthew Hennessy and
Alan Jeffrey},
editor = {Robert Harper and
Richard L. Wexelblat},
title = {A Theory of Weak Bisimulation for Core {CML}},
booktitle = {Proceedings of the 1996 {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 1996, Philadelphia, Pennsylvania, USA,
May 24-26, 1996},
pages = {201--212},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/232627.232649},
doi = {10.1145/232627.232649},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FerreiraHJ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HennessyL95,
author = {Matthew Hennessy and
Xinxin Liu},
title = {A Modal Logic for Message Passing Processes},
journal = {Acta Informatica},
volume = {32},
number = {4},
pages = {375--393},
year = {1995},
url = {https://doi.org/10.1007/BF01178384},
doi = {10.1007/BF01178384},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/HennessyL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Hennessy95,
author = {Matthew Hennessy},
title = {Concurrent Testing of Processes},
journal = {Acta Informatica},
volume = {32},
number = {6},
pages = {509--543},
year = {1995},
url = {https://doi.org/10.1007/BF01178906},
doi = {10.1007/BF01178906},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Hennessy95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HennessyR95,
author = {Matthew Hennessy and
Tim Regan},
title = {A Process Algebra for Timed Systems},
journal = {Inf. Comput.},
volume = {117},
number = {2},
pages = {221--239},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1041},
doi = {10.1006/INCO.1995.1041},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HennessyR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HennessyL95,
author = {Matthew Hennessy and
Huimin Lin},
title = {Symbolic Bisimulations},
journal = {Theor. Comput. Sci.},
volume = {138},
number = {2},
pages = {353--389},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00172-F},
doi = {10.1016/0304-3975(94)00172-F},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HennessyL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HennessyR95,
author = {Matthew Hennessy and
Julian Rathke},
editor = {Insup Lee and
Scott A. Smolka},
title = {Bisimulations for a Calculus of Broadcasting Systems},
booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
pages = {486--500},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6\_37},
doi = {10.1007/3-540-60218-6\_37},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/concur/HennessyR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FerreiraH95,
author = {William Ferreira and
Matthew Hennessy},
editor = {Jir{\'{\i}} Wiedermann and
Petr H{\'{a}}jek},
title = {Towards a Semantic Theory of {CML} (Extended Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1995, 20th International
Symposium, MFCS'95, Prague, Czech Republic, August 28 - September
1, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {969},
pages = {454--466},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60246-1\_151},
doi = {10.1007/3-540-60246-1\_151},
timestamp = {Tue, 16 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/FerreiraH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BoudolCHK94,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani and
Matthew Hennessy and
Astrid Kiehn},
title = {A Theory of Processes with Localities},
journal = {Formal Aspects Comput.},
volume = {6},
number = {2},
pages = {165--200},
year = {1994},
url = {https://doi.org/10.1007/BF01221098},
doi = {10.1007/BF01221098},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BoudolCHK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Hennessy94,
author = {Matthew Hennessy},
title = {A Fully Abstract Denotational Model for Higher-Order Processes},
journal = {Inf. Comput.},
volume = {112},
number = {1},
pages = {55--95},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1052},
doi = {10.1006/INCO.1994.1052},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Hennessy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AcetoH94,
author = {Luca Aceto and
Matthew Hennessy},
title = {Adding Action Refinement to a Finite Process Algebra},
journal = {Inf. Comput.},
volume = {115},
number = {2},
pages = {179--247},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1096},
doi = {10.1006/INCO.1994.1096},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AcetoH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Hennessy94,
author = {Matthew Hennessy},
editor = {Serge Abiteboul and
Eli Shamir},
title = {Higher-Order Process and Their Models},
booktitle = {Automata, Languages and Programming, 21st International Colloquium,
ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {820},
pages = {286--303},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58201-0\_76},
doi = {10.1007/3-540-58201-0\_76},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Hennessy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CleavelandH93,
author = {Rance Cleaveland and
Matthew Hennessy},
title = {Testing Equivalence as a Bisimulation Equivalence},
journal = {Formal Aspects Comput.},
volume = {5},
number = {1},
pages = {1--20},
year = {1993},
url = {https://doi.org/10.1007/BF01211314},
doi = {10.1007/BF01211314},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CleavelandH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HennessyI93,
author = {Matthew Hennessy and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Communicating Processes with Value-passing and Assignments},
journal = {Formal Aspects Comput.},
volume = {5},
number = {5},
pages = {432--466},
year = {1993},
url = {https://doi.org/10.1007/BF01212486},
doi = {10.1007/BF01212486},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HennessyI93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AcetoH93,
author = {Luca Aceto and
Matthew Hennessy},
title = {Towards Action-Refinement in Process Algebras},
journal = {Inf. Comput.},
volume = {103},
number = {2},
pages = {204--269},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1019},
doi = {10.1006/INCO.1993.1019},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AcetoH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HennessyI93,
author = {Matthew Hennessy and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A Theory of Communicating Processes with Value Passing},
journal = {Inf. Comput.},
volume = {107},
number = {2},
pages = {202--236},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1067},
doi = {10.1006/INCO.1993.1067},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HennessyI93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BoudolCHK93,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani and
Matthew Hennessy and
Astrid Kiehn},
title = {Observing Localities},
journal = {Theor. Comput. Sci.},
volume = {114},
number = {1},
pages = {31--61},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90152-J},
doi = {10.1016/0304-3975(93)90152-J},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BoudolCHK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HennessyL93,
author = {Matthew Hennessy and
Xinxin Liu},
editor = {Costas Courcoubetis},
title = {A Modal Logic for Message passing Processes (Extended Abstract)},
booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93,
Elounda, Greece, June 28 - July 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {697},
pages = {359--370},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_30},
doi = {10.1007/3-540-56922-7\_30},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HennessyL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HennessyL93,
author = {Matthew Hennessy and
Huimin Lin},
editor = {Eike Best},
title = {Proof Systems for Message-Passing Process Algebras},
booktitle = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
Hildesheim, Germany, August 23-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {715},
pages = {202--216},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57208-2\_15},
doi = {10.1007/3-540-57208-2\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/HennessyL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Hennessy93,
author = {Matthew Hennessy},
title = {A Fully Abstract Denotational Model for Higher-Order Processes (Extended
Abstract)},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
{(LICS} '93), Montreal, Canada, June 19-23, 1993},
pages = {397--408},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/LICS.1993.287568},
doi = {10.1109/LICS.1993.287568},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Hennessy93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Hennessy93,
author = {Matthew Hennessy},
editor = {Andrzej M. Borzyszkowski and
Stefan Sokolowski},
title = {Symbolic Bisimulations (Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1993, 18th International
Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {711},
pages = {83},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57182-5\_5},
doi = {10.1007/3-540-57182-5\_5},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Hennessy93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Arun-KumarH92,
author = {S. Arun{-}Kumar and
Matthew Hennessy},
title = {An Efficiency Preorder for Processes},
journal = {Acta Informatica},
volume = {29},
number = {8},
pages = {737--760},
year = {1992},
url = {https://doi.org/10.1007/BF01191894},
doi = {10.1007/BF01191894},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Arun-KumarH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AcetoH92,
author = {Luca Aceto and
Matthew Hennessy},
title = {Termination, Deadlock, and Divergence},
journal = {J. {ACM}},
volume = {39},
number = {1},
pages = {147--187},
year = {1992},
url = {https://doi.org/10.1145/147508.147527},
doi = {10.1145/147508.147527},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/AcetoH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Hennessy92,
author = {Matthew Hennessy},
editor = {Rance Cleaveland},
title = {Concurrent Testing of Processes (Extended Abstract)},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {94--107},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084785},
doi = {10.1007/BFB0084785},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Hennessy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoudolCHK92,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani and
Matthew Hennessy and
Astrid Kiehn},
editor = {Rance Cleaveland},
title = {A Theory of Process with Localities (Extended Abstract)},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {108--122},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084786},
doi = {10.1007/BFB0084786},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoudolCHK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/Hennessy92,
author = {Matthew Hennessy},
editor = {Manfred Broy},
title = {Timed Process Algebras: {A} Tutorial},
booktitle = {Program Design Calculi, Proceedings of the {NATO} Advanced Study Institute
on Program Design Calculi, Marktoberdorf, Germany, July 28 - August
9, 1992},
series = {{NATO} {ASI} Series},
volume = {118},
pages = {325--359},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-662-02880-3\_11},
doi = {10.1007/978-3-662-02880-3\_11},
timestamp = {Wed, 16 Mar 2022 23:55:57 +0100},
biburl = {https://dblp.org/rec/conf/nato/Hennessy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hennessy91,
author = {Matthew Hennessy},
title = {A Proof Sustem for Communicating Processes with Value-Passing},
journal = {Formal Aspects Comput.},
volume = {3},
number = {4},
pages = {346--366},
year = {1991},
url = {https://doi.org/10.1007/BF01642508},
doi = {10.1007/BF01642508},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hennessy91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AcetoH91,
author = {Luca Aceto and
Matthew Hennessy},
editor = {Javier Leach Albert and
Burkhard Monien and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Adding Action Refinement to a Finite Process Algebra},
booktitle = {Automata, Languages and Programming, 18th International Colloquium,
ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {510},
pages = {506--519},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54233-7\_159},
doi = {10.1007/3-540-54233-7\_159},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AcetoH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BoudolCHK91,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani and
Matthew Hennessy and
Astrid Kiehn},
editor = {Andrzej Tarlecki},
title = {Observing Localities (Extended Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {93--102},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_52},
doi = {10.1007/3-540-54345-7\_52},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BoudolCHK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Arun-KumarH91,
author = {S. Arun{-}Kumar and
Matthew Hennessy},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {An Efficiency Preorder for Processes},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {152--175},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_45},
doi = {10.1007/3-540-54415-1\_45},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Arun-KumarH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067311,
author = {Matthew Hennessy},
title = {Semantics of programming languages - an elementary introduction using
structural operational semantics},
publisher = {Wiley},
year = {1990},
isbn = {978-0-471-92772-3},
timestamp = {Tue, 03 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067311.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CleavelandH90,
author = {Rance Cleaveland and
Matthew Hennessy},
title = {Priorities in Process Algebras},
journal = {Inf. Comput.},
volume = {87},
number = {1/2},
pages = {58--77},
year = {1990},
url = {https://doi.org/10.1016/0890-5401(90)90059-Q},
doi = {10.1016/0890-5401(90)90059-Q},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CleavelandH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Hennessy90,
author = {Matthew Hennessy},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {Value-Passing in Process Algebras (Abstract)},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {31},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039048},
doi = {10.1007/BFB0039048},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Hennessy90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HennessyR90,
author = {Matthew Hennessy and
Tim Regan},
editor = {Juan Quemada and
Jos{\'{e}} A. Ma{\~{n}}as and
Enrique V{\'{a}}zquez},
title = {A Temporal Process Algebra},
booktitle = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
Third International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
Spain, 5-8 November 1990},
pages = {33--48},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/HennessyR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HennessyI90,
author = {Matthew Hennessy and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Mike Paterson},
title = {A Theory of Communicating Processes with Value-Passing},
booktitle = {Automata, Languages and Programming, 17th International Colloquium,
ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {443},
pages = {209--219},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0032033},
doi = {10.1007/BFB0032033},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HennessyI90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/CastellaniH89,
author = {Ilaria Castellani and
Matthew Hennessy},
title = {Distributed bisimulations},
journal = {J. {ACM}},
volume = {36},
number = {4},
pages = {887--911},
year = {1989},
url = {https://doi.org/10.1145/76359.76369},
doi = {10.1145/76359.76369},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/CastellaniH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/CleavelandH89,
author = {Rance Cleaveland and
Matthew Hennessy},
editor = {Joseph Sifakis},
title = {Testing Equivalence as a Bisimulation Equivalence},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {11--23},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_2},
doi = {10.1007/3-540-52148-8\_2},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/CleavelandH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Hennessy89,
author = {Matthew Hennessy},
editor = {C. E. Veni Madhavan},
title = {A Proof System for Communicating Processes with Value-passing (Extended
Abstract)},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Ninth Conference, Bangalore, India, December 19-21, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {405},
pages = {325--339},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52048-1\_54},
doi = {10.1007/3-540-52048-1\_54},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Hennessy89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AcetoH89,
author = {Luca Aceto and
Matthew Hennessy},
title = {Towards Action-Refinement in Process Algebras},
booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
{(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
pages = {138--145},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/LICS.1989.39168},
doi = {10.1109/LICS.1989.39168},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AcetoH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/AcetoH89,
author = {Luca Aceto and
Matthew Hennessy},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Termination, Deadlock and Divergence},
booktitle = {Mathematical Foundations of Programming Semantics, 5th International
Conference, Tulane University, New Orleans, Louisiana, USA, March
29 - April 1, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {442},
pages = {301--318},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0040264},
doi = {10.1007/BFB0040264},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/AcetoH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0066919,
author = {Matthew Hennessy},
title = {Algebraic theory of processes},
series = {{MIT} Press series in the foundations of computing},
publisher = {{MIT} Press},
year = {1988},
isbn = {978-0-262-08171-9},
timestamp = {Mon, 02 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0066919.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Hennessy88,
author = {Matthew Hennessy},
title = {Axiomatising Finite Concurrent Processes},
journal = {{SIAM} J. Comput.},
volume = {17},
number = {5},
pages = {997--1017},
year = {1988},
url = {https://doi.org/10.1137/0217063},
doi = {10.1137/0217063},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Hennessy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CleavelandH88,
author = {Rance Cleaveland and
Matthew Hennessy},
title = {Priorities in Process Algebras},
booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
{(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
pages = {193--202},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.ieeecomputersociety.org/10.1109/LICS.1988.5118},
doi = {10.1109/LICS.1988.5118},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CleavelandH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Hennessy88,
author = {Matthew Hennessy},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Observing processes},
booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models
for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands,
May 30 - June 3, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {354},
pages = {173--200},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0013023},
doi = {10.1007/BFB0013023},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/rex/Hennessy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hennessy87,
author = {Matthew Hennessy},
title = {An Algebraic Theory of Fair Synchronous Communicating Processes},
journal = {Theor. Comput. Sci.},
volume = {49},
pages = {121--143},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90004-1},
doi = {10.1016/0304-3975(87)90004-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hennessy87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/NicolaH87,
author = {Rocco De Nicola and
Matthew Hennessy},
editor = {Hartmut Ehrig and
Robert A. Kowalski and
Giorgio Levi and
Ugo Montanari},
title = {{CCS} without tau's},
booktitle = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
Volume 1: Advanced Seminar on Foundations of Innovative Software Development
{I} and Colloquium on Trees in Algebra and Programming (CAAP'87)},
series = {Lecture Notes in Computer Science},
volume = {249},
pages = {138--152},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17660-8\_53},
doi = {10.1007/3-540-17660-8\_53},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/NicolaH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Hennessy86,
author = {Matthew Hennessy},
title = {Proving Systolic Systems Correct},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {8},
number = {3},
pages = {344--387},
year = {1986},
url = {https://doi.org/10.1145/5956.5999},
doi = {10.1145/5956.5999},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Hennessy86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ibm/Hennessy86,
author = {Matthew Hennessy},
editor = {G{\"{u}}nter M{\"{u}}ller and
Robert P. Blanc},
title = {Communication Primitives in Programming and Specification Languages},
booktitle = {Networking in Open Systems, International Seminar, Oberlech, Austria,
August 18-22, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {248},
pages = {223--251},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0026964},
doi = {10.1007/BFB0026964},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ibm/Hennessy86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HennessyS85,
author = {Matthew Hennessy and
Colin Stirling},
title = {The Power of the Future Perfect in Program Logics},
journal = {Inf. Control.},
volume = {67},
number = {1-3},
pages = {23--52},
year = {1985},
url = {https://doi.org/10.1016/S0019-9958(85)80025-5},
doi = {10.1016/S0019-9958(85)80025-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HennessyS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/HennessyM85,
author = {Matthew Hennessy and
Robin Milner},
title = {Algebraic Laws for Nondeterminism and Concurrency},
journal = {J. {ACM}},
volume = {32},
number = {1},
pages = {137--161},
year = {1985},
url = {https://doi.org/10.1145/2455.2460},
doi = {10.1145/2455.2460},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/HennessyM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Hennessy85,
author = {Matthew Hennessy},
title = {Acceptance Trees},
journal = {J. {ACM}},
volume = {32},
number = {4},
pages = {896--928},
year = {1985},
url = {https://doi.org/10.1145/4221.4249},
doi = {10.1145/4221.4249},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Hennessy85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Hennessy85,
author = {Matthew Hennessy},
editor = {Wilfried Brauer},
title = {An Algebraic Theory of Fair Asynchronous Communicating Processes},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {260--269},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015751},
doi = {10.1007/BFB0015751},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Hennessy85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Hennessy84,
author = {Matthew Hennessy},
title = {Axiomatising Finite Delay Operators},
journal = {Acta Informatica},
volume = {21},
pages = {61--88},
year = {1984},
url = {https://doi.org/10.1007/BF00289140},
doi = {10.1007/BF00289140},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Hennessy84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NicolaH84,
author = {Rocco De Nicola and
Matthew Hennessy},
title = {Testing Equivalences for Processes},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {83--133},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90113-0},
doi = {10.1016/0304-3975(84)90113-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NicolaH84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HennessyS84,
author = {Matthew Hennessy and
Colin Stirling},
editor = {Michal Chytil and
V{\'{a}}clav Koubek},
title = {The Power of the Future Perfect in Program Logics},
booktitle = {Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia,
September 3-7, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {176},
pages = {301--311},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/BFb0030311},
doi = {10.1007/BFB0030311},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HennessyS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Hennessy84,
author = {Matthew Hennessy},
editor = {Richard A. DeMillo},
title = {Modelling Fair Processes},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {25--30},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808662},
doi = {10.1145/800057.808662},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Hennessy84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Hennessy83,
author = {Matthew Hennessy},
title = {Synchronous and Asynchronous Experiments on Processes},
journal = {Inf. Control.},
volume = {59},
number = {1-3},
pages = {36--83},
year = {1983},
url = {https://doi.org/10.1016/S0019-9958(83)80029-1},
doi = {10.1016/S0019-9958(83)80029-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Hennessy83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/NicolaH83,
author = {Rocco De Nicola and
Matthew Hennessy},
editor = {Josep D{\'{\i}}az},
title = {Testing Equivalence for Processes},
booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
July 18-22, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {154},
pages = {548--560},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/BFb0036936},
doi = {10.1007/BFB0036936},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/NicolaH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Hennessy83,
author = {Matthew Hennessy},
editor = {R. E. A. Mason},
title = {Synchronous and Asynchronous Experiments on Processes},
booktitle = {Information Processing 83, Proceedings of the {IFIP} 9th World Computer
Congress, Paris, France, September 19-23, 1983},
pages = {453--455},
publisher = {North-Holland/IFIP},
year = {1983},
timestamp = {Sun, 28 Jul 2019 17:03:41 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Hennessy83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Hennessy82,
author = {Matthew Hennessy},
editor = {Mariangiola Dezani{-}Ciancaglini and
Ugo Montanari},
title = {Powerdomains and nondeterministic recursive definitions},
booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy,
April 6-8, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {137},
pages = {178--193},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11494-7\_13},
doi = {10.1007/3-540-11494-7\_13},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/programm/Hennessy82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Hennessy81,
author = {Matthew Hennessy},
title = {A Term Model for Synchronous Processes},
journal = {Inf. Control.},
volume = {51},
number = {1},
pages = {58--75},
year = {1981},
url = {https://doi.org/10.1016/S0019-9958(81)90082-6},
doi = {10.1016/S0019-9958(81)90082-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Hennessy81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/HennessyLP81,
author = {Matthew Hennessy and
Wei Li and
Gordon D. Plotkin},
title = {A First Attempt at Translating {CSP} into {CCS}},
booktitle = {Proceedings of the 2nd International Conference on Distributed Computing
Systems, Paris, France, 1981},
pages = {105--115},
publisher = {{IEEE} Computer Society},
year = {1981},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/HennessyLP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Hennessy80,
author = {Matthew Hennessy},
title = {A Proof System for the First-Order Relational Calculus},
journal = {J. Comput. Syst. Sci.},
volume = {20},
number = {1},
pages = {96--110},
year = {1980},
url = {https://doi.org/10.1016/0022-0000(80)90007-0},
doi = {10.1016/0022-0000(80)90007-0},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Hennessy80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Hennessy80,
author = {Matthew Hennessy},
title = {The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic
Environment},
journal = {{SIAM} J. Comput.},
volume = {9},
number = {1},
pages = {67--84},
year = {1980},
url = {https://doi.org/10.1137/0209005},
doi = {10.1137/0209005},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Hennessy80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HennessyA80,
author = {Matthew Hennessy and
Edward A. Ashcroft},
title = {A Mathematical Semantics for a Nondeterministic Typed lambda-Calculus},
journal = {Theor. Comput. Sci.},
volume = {11},
pages = {227--245},
year = {1980},
url = {https://doi.org/10.1016/0304-3975(80)90015-8},
doi = {10.1016/0304-3975(80)90015-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HennessyA80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HennessyM80,
author = {Matthew Hennessy and
Robin Milner},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {On Observing Nondeterminism and Concurrency},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {299--309},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_79},
doi = {10.1007/3-540-10003-2\_79},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HennessyM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HennessyP80,
author = {Matthew Hennessy and
Gordon D. Plotkin},
editor = {Piotr Dembinski},
title = {A Term Model for {CCS}},
booktitle = {Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings
of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
series = {Lecture Notes in Computer Science},
volume = {88},
pages = {261--274},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/BFb0022510},
doi = {10.1007/BFB0022510},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HennessyP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HennessyP79,
author = {Matthew Hennessy and
Gordon D. Plotkin},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Full Abstraction for a Simple Parallel Programming Language},
booktitle = {Mathematical Foundations of Computer Science 1979, Proceedings, 8th
Symposium, Olomouc, Czechoslovakia, September 3-7, 1979},
series = {Lecture Notes in Computer Science},
volume = {74},
pages = {108--120},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09526-8\_8},
doi = {10.1007/3-540-09526-8\_8},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HennessyP79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/HennessyA77,
author = {Matthew Hennessy and
Edward A. Ashcroft},
editor = {John E. Hopcroft and
Emily P. Friedman and
Michael A. Harrison},
title = {Parameter-Passing Mechanisms and Nondeterminism},
booktitle = {Proceedings of the 9th Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1977, Boulder, Colorado, {USA}},
pages = {306--311},
publisher = {{ACM}},
year = {1977},
url = {https://doi.org/10.1145/800105.803420},
doi = {10.1145/800105.803420},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/HennessyA77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HennessyA76,
author = {Matthew Hennessy and
Edward A. Ashcroft},
editor = {S. Michaelson and
Robin Milner},
title = {The Semantics of Nondeterminism},
booktitle = {Third International Colloquium on Automata, Languages and Programming,
University of Edinburgh, UK, July 20-23, 1976},
pages = {478--493},
publisher = {Edinburgh University Press},
year = {1976},
timestamp = {Mon, 08 Jul 2019 10:58:24 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HennessyA76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-02 23:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
