Treffer: Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
Title:
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
Source:
Formal Methods in System Design: An International Journal. June 2015 46(3):197-225
Database:
Springer Nature Journals