Certifying data in multiparty session types

From MaRDI portal
Publication:2360653