Sign in
A session type provider: compile-time API generation of distributed protocols with refinements in F#.
Rumyana Neykova
Raymond Hu
Nobuko Yoshida
Fahd Abdeljallal
Published in:
CC (2018)
Keyphrases
</>
distributed systems
cooperative
fault tolerant
database
high level
multi agent
open source
source code
peer to peer
lightweight
integrity constraints
distributed environment
generation process
multi party
concurrency control protocols
mobile agents
response time
data model
neural network