Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida. Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. Formal Methods in System Design, 46(3):197-225, 2015. [doi]

The following publications are possibly variants of this publication:

Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and PythonRaymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda. RV 2013: 130-148 [doi]

Multiparty session types for dynamic verification of distributed systemsRumyana Neykova. PhD thesis, Imperial College London, UK, 2016. [doi]

Parameterised Multiparty Session TypesNobuko Yoshida, Pierre-Malo DeniÃ©lou, Andi Bejleri, Raymond Hu. fossacs 2010: 128-145 [doi]

runs on WebDSL