SAVARA

swMATH21465MaRDI QIDQ33272FDOQ33272

Author name not available (Why is that?)

Cited In (2)

• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• A Gentle Introduction to Multiparty Asynchronous Session Types

This page was built for software: SAVARA