Type-Directed Compilation for Fault-Tolerant Non-Interference.

Filippo Del Tedesco David Sands Alejandro Russo

Published in: CoRR (2014)

Keyphrases

fault tolerant
fault tolerance
distributed systems
load balancing
state machine
safety critical
artificial intelligence
multipath
high availability
high assurance