Design-by-Contract for Flexible Multiparty Session Protocols (Artifact).

Published in: Dagstuhl Artifacts Ser. (2022)

Keyphrases