Sign in
Secure distributed programming with value-dependent types.
Nikhil Swamy
Juan Chen
Cédric Fournet
Pierre-Yves Strub
Karthikeyan Bhargavan
Jean Yang
Published in:
J. Funct. Program. (2013)
Keyphrases
</>
distributed systems
lightweight
multi agent
programming language
fault tolerant
cooperative
peer to peer
distributed environment
secure information sharing
group communication
information systems
database systems
distributed computing
programming environment
single point of failure
rights management
database