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 |