SPY

MaRDI QIDQ33948swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-642-40787-1_25

Cited in

(12)

• Monitoring networks through multiparty session types
• COWS
• LTSA-WS
• AIOCJ
• Scribble
• SAVARA
• JBoss
• Timed Conversation
• apims
• The evolution of Jolie. From orchestrations to adaptable choreographies
• A gentle introduction to multiparty asynchronous session types
• Timed runtime monitoring for multiparty conversations

This page was built for software: SPY