Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact) (2023)
Attributed to:
Morello-HAT: Morello High-Level API and Tooling
funded by
ISCF
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.4230/darts.9.2.9
Publication URI: https://drops.dagstuhl.de/opus/volltexte/2023/18249/
Type: Other