Zooid

swMATH45500MaRDI QIDQ5974670FDOQ5974670

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: Zooid