Certifying data in multiparty session types

Bernardo Toninho, Nobuko Yoshida,

URL	https://www.sciencedirect.com/science/article/pii/S2352220816300864?via%3Dihub
Journal	Journal of Logical and Algebraic Methods in Programming
Publisher	Universitat Politècnica de Catalunya
Volume	90
URL	https://www.sciencedirect.com/science/article/pii/S2352220816300864?via%3Dihub
Journal	Journal of Logical and Algebraic Methods in Programming
Publisher	Universitat Politècnica de Catalunya
Volume	90

Publication