π-calculus, Session Types research at Imperial College

CAMP: Cost-Aware Multiparty Session Protocols

This is the artifact for the related publication below. The artifact comprises:

The library for specifying cost-aware protocols also provides functions for extracting cost equations from them, and for estimating recursive protocol latencies (i.e. average cost per protocol iteration). We provide a script for extracting cost equations, and instantiating them using the parameters used in the paper.

Related publications