Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python

Overview of attention for article published in Formal Methods in System Design, November 2014

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 44 Dimensions

Readers on

mendeley: 15 Mendeley

Summary X Dimensions citations

So far, Altmetric has seen 1 X post from an account with 243 followers.

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. -… http://t.co/q1dTfjOaxJ

Reply Repost Favourite