SPY

swMATH22152MaRDI QIDQ33948FDOQ33948

Author name not available (Why is that?)

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