SAVARA

swMATH21465MaRDI QIDQ33272FDOQ33272

Author name not available (Why is that?)

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