Type Checking for Protocol Role Enactments via Commitments

Matteo Baldoni (Università degli Studi di Torino)

Abstract

The abstract for this paper is not yet available.