Downloads provided by UsageCountsCAMP: Cost-Aware Multiparty Session Protocols (artifact)
UKRI| Conversation-Based Governance for Distributed Systems by Multiparty Session Types ,
UKRI| From Data Types to Session Types---A Basis for Concurrency and Distribution ,
UKRI| Turtles: Protocol-Based Foundations for Distributed Multiagent Systems ,
UKRI| Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems ,
UKRI| Border Patrol: Improving Smart Device Security through Type-Aware Systems Design
Castro-Perez, David; Yoshida, Nobuko;
CAMP: Cost-Aware Multiparty Session Protocols (artifact)
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.
- Imperial College London United Kingdom
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).0 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average views 23 downloads 7 - 23views7downloads
selected citations
Citations provided by BIP!
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
Citations provided by BIP!popularityPopularity provided by BIP!
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
Popularity provided by BIP!influenceInfluence provided by BIP!
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
Influence provided by BIP!impulseImpulse provided by BIP!
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
Impulse provided by BIP!viewsViews provided by UsageCounts
Views provided by UsageCountsdownloadsDownloads provided by UsageCounts
Downloads provided by UsageCounts 0
Average
Average
Average
23
7
Funded byView all
UKRI| Conversation-Based Governance for Distributed Systems by Multiparty Session Types, UKRI| From Data Types to Session Types---A Basis for Concurrency and Distribution, UKRI| Turtles: Protocol-Based Foundations for Distributed Multiagent Systems, UKRI| Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems