Sign in
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python.
Raymond Hu
Rumyana Neykova
Nobuko Yoshida
Romain Demangeon
Kohei Honda
Published in:
RV (2013)
Keyphrases
</>
dynamic environments
distributed systems
distributed environment
practical application
scalable distributed
real world
cooperative
open source
multi party
real time
multi agent
programming language
privacy preserving
computer networks
content analysis
computing environments