Detail

Publication date: 28 de March, 2022

Publication 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