SAVARA
From MaRDI portal
Software:33272
No author found.
Related Items (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
