Software Open Access

CAMP: Cost-Aware Multiparty Session Protocols (artifact)

Castro-Perez, David; Yoshida, Nobuko

This is the artifact for the paper *CAMP: Cost-Aware Multiparty Session Protocols*.
The artifact comprises:

- A library for specifying cost-aware multiparty protocols.
- The raw data used for comparing the cost models with real execution costs.
- The cost-aware protocol specifications of the benchmarks that we studied.

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.
 

The work is supported by EPSRC EP/T006544/1, EP/K011715/1, EP/K034413/1, EP/L00058X/1, EP/N027833/1, EP/N028201/1, EP/T006544/1, EP/T014709/1 and EP/V000462/1, and NCSS/EPSRC VeTSS.
Files (734.3 MB)
Name Size
100.tgz
md5:a954b7a30269e6114edc79e5400bde42
734.2 MB Download
README.pdf
md5:1d89f29bfa4e3329ab850f61144f8166
125.4 kB Download
32
19
views
downloads
All versions This version
Views 3232
Downloads 1919
Data volume 736.5 MB736.5 MB
Unique views 2828
Unique downloads 1717

Share

Cite as