Software Open Access

CAMP: Cost-Aware Multiparty Session Protocols (artifact)

Castro-Perez, David; Yoshida, Nobuko


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Castro-Perez, David</dc:creator>
  <dc:creator>Yoshida, Nobuko</dc:creator>
  <dc:date>2020-09-23</dc:date>
  <dc:description>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.
 </dc:description>
  <dc:description>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.</dc:description>
  <dc:identifier>https://zenodo.org/record/4046893</dc:identifier>
  <dc:identifier>10.5281/zenodo.4046893</dc:identifier>
  <dc:identifier>oai:zenodo.org:4046893</dc:identifier>
  <dc:relation>info:eu-repo/grantAgreement/RCUK/EPSRC/EP%2FL00058X%2F1/</dc:relation>
  <dc:relation>info:eu-repo/grantAgreement/RCUK/EPSRC/EP%2FK011715%2F1/</dc:relation>
  <dc:relation>info:eu-repo/grantAgreement/RCUK/EPSRC/EP%2FN028201%2F1/</dc:relation>
  <dc:relation>info:eu-repo/grantAgreement/RCUK/EPSRC/EP%2FK034413%2F1/</dc:relation>
  <dc:relation>info:eu-repo/grantAgreement/RCUK/EPSRC/EP%2FN027833%2F1/</dc:relation>
  <dc:relation>doi:10.5281/zenodo.4046892</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>https://opensource.org/licenses/BSD-3-Clause</dc:rights>
  <dc:title>CAMP: Cost-Aware Multiparty Session Protocols (artifact)</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>software</dc:type>
</oai_dc:dc>
31
19
views
downloads
All versions This version
Views 3131
Downloads 1919
Data volume 736.5 MB736.5 MB
Unique views 2727
Unique downloads 1717

Share

Cite as