Using higher-order contracts to model session types
You are here
| Title | Using higher-order contracts to model session types |
| Publication Type | Journal Article |
| Year of Publication | 2016 |
| Authors | Bernardi G, Hennessy M |
| Journal | Logical Methods in Computer Science |
| Volume | 12 |
| Date Published | 2016 |
| URL | http://dx.doi.org/10.2168/LMCS-12(2:10)2016 |
