Zooid
From MaRDI portal
Software:5974670
No author found.
Related Items (2)
Certifying choreography compilation ⋮ Communicating finite state machines and an extensible toolchain for multiparty session types
This page was built for software: Zooid