Zooid

MaRDI QIDQ5974670swMATHFDO

Official website https://arxiv.org/abs/2103.10269

Cited in

(6)

• Certifying choreography compilation
• Communicating finite state machines and an extensible toolchain for multiparty session types
• Autosubst
• CoCaml
• Kalas
• Pirouette

This page was built for software: Zooid