Timed Conversation API in Python. Timed Runtime Monitoring for Multiparty Conversations. In [tMPST] we present a real-time extension of Multiparty Session Types to the verification and enforcement of time-related properties in Python. The prototype implementation is available at bottom of this page. Context and Background: (Untimed) Multiparty Session Types (MPSTs) have been applied in an existing framework for verification of choreographic sessions in Python (). This framework is embedded into the OOI infrastructure using Scribble, a practical incarnation of MPSTs, as a specification language for global protocols.
Keywords for this software
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Neykova, Rumyana; Bocchi, Laura; Yoshida, Nobuko: Timed runtime monitoring for multiparty conversations (2017)