Vasileios Koutavas, Maciej Gazda, Matthew Hennessy, Distinguishing between Communicating Transactions, Information and Computation, 2018, 1-30 ,
Journal Article,
PUBLISHED
DOI
|
Vasileios Koutavas, Maciej Gazda, Matthew Hennessy, Distinguishing between Communicating Transactions, CoRR abs/1703.03256, Arxiv - The Computing Research Repository (CoRR), 2017,
Report,
PUBLISHED
URL
|
Bernardi, G., Hennessy, M., Modelling session types using contracts, Mathematical Structures in Computer Science, 26, (3), 2016, p510-560 ,
Journal Article,
PUBLISHED
DOI
|
Bernardi G, Hennessy M, Mutually testing processes, Logical Methods in Computer Science, 11, (2), 2015, p61-75 ,
Notes: [CONCUR 2013 - Concurrency Theory 24th International Conference, CONCUR 2013 Buenos Aires, Argentina, August 27-30, 2013 Proceedings],
Journal Article,
PUBLISHED
TARA - Full Text
DOI
URL
|
Cerone, A., Hennessy, M., Merro, M., Modelling Mac-Layer communications in wireless systems, Logical Methods in Computer Science, 11, (1), 2015, p18 ,
Journal Article,
PUBLISHED
TARA - Full Text
DOI
|
Vasileios Koutavas and Carlo Spaccasassi and Matthew Hennessy, Bisimulations for Communicating Transactions (Extended Abstract), Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures, Grenoble, France, 5-13 April 2014, edited by Muscholl, Anca , 8412, Springer Berlin Heidelberg, 2014, pp320 - 334,
Conference Paper,
PUBLISHED
DOI
URL
|
Bernardi G, Hennessy M, Compliance and testing preorders differ, Lecture Notes in Computer Science (including subseries Lecture Notes in Ar, 8368, 2014, p69-81 ,
Journal Article,
PUBLISHED
DOI
URL
|
Bernardi G, Hennessy M, Using higher-order contracts to model session types (extended abstract), Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, 8704, 2014, p387-401 ,
Journal Article,
PUBLISHED
DOI
URL
|
Cerone A, Hennessy M, Characterising testing preorders for broadcasting distributed systems, Lecture Notes in Computer Science (including subseries Lecture Notes in Ar, 8902, 2014, p67-81 ,
Notes: [Export Date: 30 September 2016],
Journal Article,
PUBLISHED
DOI
URL
|
Francalanza A, Devries E, Hennessy M, Compositional reasoning for explicit resource management in channel-based concurrency, Logical Methods in Computer Science, 10, (2), 2014, p15 ,
Notes: [Export Date: 30 September 2016],
Journal Article,
PUBLISHED
TARA - Full Text
DOI
URL
|
|