Luca Fossati
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Multiparty session nets Trustworthy Global Computing | 2016-06-09 | Paper |
| A Petri Net Model of Handshake Protocols Electronic Notes in Theoretical Computer Science | 2014-06-27 | Paper |
| Handshake games Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Intensional and extensional characterisation of global progress in the -calculus Lecture Notes in Computer Science | 2012-09-25 | Paper |
| The Calculus of Handshake Configurations Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
Research outcomes over time
This page was built for person: Luca Fossati
