Timed Conversation

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 ([1]). 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

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Neykova, Rumyana; Bocchi, Laura; Yoshida, Nobuko: Timed runtime monitoring for multiparty conversations (2017)