Original language | English |
---|---|
Pages (from-to) | 36-60 |
Number of pages | 25 |
Journal | Science of Computer Programming |
Volume | 109 |
Early online date | 29 Nov 2014 |
DOIs | |
Publication status | Published - 1 Oct 2015 |
Keywords
- Choreographies
- Contracts
- Session types
Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino
Research output: Contribution to journal › Article › peer-review
Original language | English |
---|---|
Pages (from-to) | 36-60 |
Number of pages | 25 |
Journal | Science of Computer Programming |
Volume | 109 |
Early online date | 29 Nov 2014 |
DOIs | |
Publication status | Published - 1 Oct 2015 |