Document Open Access Logo

Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation (Artifact)

Authors Martin Vassor , Nobuko Yoshida

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.10.2.23.pdf
  • Filesize: 0.51 MB
  • 5 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Software and its engineering → Specification languages
  • Theory of computation → Assertions
  • Theory of computation → Concurrency
Keywords
  • Message-Passing Concurrency
  • Session Types
  • Specification

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

Multiparty message-passing protocols are notoriously difficult to design, due to interaction mismatches that lead to errors such as deadlocks. Existing protocol specification formats have been developed to prevent such errors (e.g. multiparty session types (MPST)). In order to further constrain protocols, specifications can be extended with refinements, i.e. logical predicates to control the behaviour of the protocol based on previous values exchanged. Unfortunately, existing refinement theories and implementations are tightly coupled with specification formats.
This artifact accompanies [Martin Vassor and Nobuko Yoshida, 2024]. It presents an implementation of the framework presented in this paper.

Cite As Get BibTex

Martin Vassor and Nobuko Yoshida. Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation (Artifact). In Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024). Dagstuhl Artifacts Series (DARTS), Volume 10, Issue 2, pp. 23:1-23:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/DARTS.10.2.23

Author Details

Martin Vassor
  • University of Oxford, UK
Nobuko Yoshida
  • University of Oxford, UK

Funding

Work supported by: EPSRC EP/T00006544/2, EP/K011715/1, EP/K034413/1, EP/L00058X/1, EP/N027833/2, EP/N028201/1, EP/T014709/2, EP/V000462, EP/X015955/1n NCSS/EPSRC VeTSS, and Horizon EU TaRDIS 101093006.

Acknowledgements

We thank Burak Ekici, Marco Giunti, Ping Hou, Amrita Suresh, and Fangyi Zhou for their insightful suggestions

Artifact

  MD5 Sum: 8ef53937b5b645043e52feebff85092a (Get MD5 Sum)

Artifact Evaluation Policy

The artifact has been evaluated as described in the ECOOP 2024 Call for Artifacts and the ACM Artifact Review and Badging Policy.

Related Article

References

  1. Martin Vassor and Nobuko Yoshida. Refinements for multiparty message-passing protocols: Specification-agnostic theory and implementation. In 38th European Conference on Object-Oriented Programming (ECOOP 2024), September 16-20, 2024, Vienna, Austria, pages 41:1-41:29, 2024. URL: https://doi.org/10.4230/LIPIcs.ECOOP.2024.41.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact