articles
Detail
Publication date: 28 de March, 2022Publication Certifying data in multiparty session types – Journal Journal of Logical and Algebraic Methods in Programming
| Journal | Journal of Logical and Algebraic Methods in Programming |
|---|---|
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 90 |
| Pub. Date | 11/06/2017 |