Refinements for multiparty message-passing protocols: specification-agnostic theory and implementation
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 prot...
| 主要な著者: | , |
|---|---|
| フォーマット: | Conference item |
| 言語: | English |
| 出版事項: |
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2024
|