Software Open Access

CAMP: Cost-Aware Multiparty Session Protocols (artifact)

Castro-Perez, David; Yoshida, Nobuko


DataCite XML Export

<?xml version='1.0' encoding='utf-8'?>
<resource xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://datacite.org/schema/kernel-4" xsi:schemaLocation="http://datacite.org/schema/kernel-4 http://schema.datacite.org/meta/kernel-4.1/metadata.xsd">
  <identifier identifierType="DOI">10.5281/zenodo.4046893</identifier>
  <creators>
    <creator>
      <creatorName>Castro-Perez, David</creatorName>
      <givenName>David</givenName>
      <familyName>Castro-Perez</familyName>
      <nameIdentifier nameIdentifierScheme="ORCID" schemeURI="http://orcid.org/">0000-0002-6939-4189</nameIdentifier>
      <affiliation>Imperial College London</affiliation>
    </creator>
    <creator>
      <creatorName>Yoshida, Nobuko</creatorName>
      <givenName>Nobuko</givenName>
      <familyName>Yoshida</familyName>
      <nameIdentifier nameIdentifierScheme="ORCID" schemeURI="http://orcid.org/">0000-0002-3925-8557</nameIdentifier>
      <affiliation>Imperial College London</affiliation>
    </creator>
  </creators>
  <titles>
    <title>CAMP: Cost-Aware Multiparty Session Protocols (artifact)</title>
  </titles>
  <publisher>Zenodo</publisher>
  <publicationYear>2020</publicationYear>
  <dates>
    <date dateType="Issued">2020-09-23</date>
  </dates>
  <resourceType resourceTypeGeneral="Software"/>
  <alternateIdentifiers>
    <alternateIdentifier alternateIdentifierType="url">https://zenodo.org/record/4046893</alternateIdentifier>
  </alternateIdentifiers>
  <relatedIdentifiers>
    <relatedIdentifier relatedIdentifierType="DOI" relationType="IsVersionOf">10.5281/zenodo.4046892</relatedIdentifier>
  </relatedIdentifiers>
  <rightsList>
    <rights rightsURI="https://opensource.org/licenses/BSD-3-Clause">BSD 3-Clause "New" or "Revised" License</rights>
    <rights rightsURI="info:eu-repo/semantics/openAccess">Open Access</rights>
  </rightsList>
  <descriptions>
    <description descriptionType="Abstract">&lt;p&gt;This is the artifact for the paper *CAMP: Cost-Aware Multiparty Session Protocols*.&lt;br&gt;
The artifact comprises:&lt;/p&gt;

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

&lt;p&gt;The library for specifying cost-aware protocols also provides functions for&lt;br&gt;
extracting cost equations from them, and for estimating recursive protocol&lt;br&gt;
latencies (i.e. average cost per protocol iteration). We provide a script for&lt;br&gt;
extracting cost equations, and instantiating them using the parameters used in&lt;br&gt;
the paper.&lt;br&gt;
&amp;nbsp;&lt;/p&gt;</description>
    <description descriptionType="Other">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.</description>
  </descriptions>
  <fundingReferences>
    <fundingReference>
      <funderName>Research Councils UK</funderName>
      <funderIdentifier funderIdentifierType="Crossref Funder ID">10.13039/501100000690</funderIdentifier>
      <awardNumber awardURI="info:eu-repo/grantAgreement/RCUK/EPSRC/EP%2FL00058X%2F1/">EP/L00058X/1</awardNumber>
      <awardTitle>Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems</awardTitle>
    </fundingReference>
    <fundingReference>
      <funderName>Research Councils UK</funderName>
      <funderIdentifier funderIdentifierType="Crossref Funder ID">10.13039/501100000690</funderIdentifier>
      <awardNumber awardURI="info:eu-repo/grantAgreement/RCUK/EPSRC/EP%2FK011715%2F1/">EP/K011715/1</awardNumber>
      <awardTitle>Conversation-Based Governance for Distributed Systems by Multiparty Session Types</awardTitle>
    </fundingReference>
    <fundingReference>
      <funderName>Research Councils UK</funderName>
      <funderIdentifier funderIdentifierType="Crossref Funder ID">10.13039/501100000690</funderIdentifier>
      <awardNumber awardURI="info:eu-repo/grantAgreement/RCUK/EPSRC/EP%2FN028201%2F1/">EP/N028201/1</awardNumber>
      <awardTitle>Border Patrol: Improving Smart Device Security through Type-Aware Systems Design</awardTitle>
    </fundingReference>
    <fundingReference>
      <funderName>Research Councils UK</funderName>
      <funderIdentifier funderIdentifierType="Crossref Funder ID">10.13039/501100000690</funderIdentifier>
      <awardNumber awardURI="info:eu-repo/grantAgreement/RCUK/EPSRC/EP%2FK034413%2F1/">EP/K034413/1</awardNumber>
      <awardTitle>From Data Types to Session Types---A Basis for Concurrency and Distribution</awardTitle>
    </fundingReference>
    <fundingReference>
      <funderName>Research Councils UK</funderName>
      <funderIdentifier funderIdentifierType="Crossref Funder ID">10.13039/501100000690</funderIdentifier>
      <awardNumber awardURI="info:eu-repo/grantAgreement/RCUK/EPSRC/EP%2FN027833%2F1/">EP/N027833/1</awardNumber>
      <awardTitle>Turtles: Protocol-Based Foundations for Distributed Multiagent Systems</awardTitle>
    </fundingReference>
  </fundingReferences>
</resource>
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