SAVARA

MaRDI QIDQ33272swMATHFDO

Official website http://savara.jboss.org/

Cited in

(7)

• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• AIOCJ
• Scribble
• JBoss
• SPY
• apims
• A gentle introduction to multiparty asynchronous session types

This page was built for software: SAVARA