eTD Explore

Start Over Committee Member Sencun Zhu Keyword Pi-Calculus

1. Robust Network Information Flow Control

open_access

Open Access

Author:: Malis, Alexander
Title:: Robust Network Information Flow Control
Graduate Program:: Computer Science and Engineering
Keywords:: Pi-Calculus
Information Flow Control
Raft
Distributed Computing
Denotational Semantics
File:: Download RNPiFC.pdf
Committee Members:: Danfeng Zhang, Thesis Advisor/Co-Advisor
Sencun Zhu, Committee Member
Chitaranjan Das, Program Head/Chair