Modelling session types using contracts
You are here
| Title | Modelling session types using contracts |
| Publication Type | Journal Article |
| Year of Publication | 2016 |
| Authors | Giovanni B, Matthew H |
| Journal | Mathematical Structures in Computer Science |
| Date Published | 2016 |
| URL | https://www.scss.tcd.ie/Matthew.Hennessy/onlinepubs.html |
