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.
| Name | Size | |
|---|---|---|
|
100.tgz
md5:a954b7a30269e6114edc79e5400bde42 |
734.2 MB | Download |
|
README.pdf
md5:1d89f29bfa4e3329ab850f61144f8166 |
125.4 kB | Download |
| All versions | This version | |
|---|---|---|
| Views | 87 | 87 |
| Downloads | 57 | 57 |
| Data volume | 8.8 GB | 8.8 GB |
| Unique views | 78 | 78 |
| Unique downloads | 39 | 39 |
- Publication date:
- September 23, 2020
- DOI:
-
- Grants:
-
Research Councils UK:
-
Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems (EP/L00058X/1)
-
Conversation-Based Governance for Distributed Systems by Multiparty Session Types (EP/K011715/1)
-
Border Patrol: Improving Smart Device Security through Type-Aware Systems Design (EP/N028201/1)
-
From Data Types to Session Types---A Basis for Concurrency and Distribution (EP/K034413/1)
- Turtles: Protocol-Based Foundations for Distributed Multiagent Systems (EP/N027833/1)
-
Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems (EP/L00058X/1)
- License (for files):
- BSD 3-Clause "New" or "Revised" License