BibTex format
@misc{Castro-Perez:2020,
author = {Castro-Perez, D and Yoshida, N},
title = {CAMP: Cost-Aware Multiparty Session Protocols (artifact)},
type = {Software},
year = {2020}
}
Publications
Citation
RIS format (EndNote, RefMan)
TY - GEN
AB - 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 forextracting cost equations from them, and for estimating recursive protocollatencies (i.e. average cost per protocol iteration). We provide a script forextracting cost equations, and instantiating them using the parameters used inthe paper.
AU - Castro-Perez,D
AU - Yoshida,N
PY - 2020///
TI - CAMP: Cost-Aware Multiparty Session Protocols (artifact)
ER -