Formalization using Pi-Calculus
nState Transition of Data & Alert Propagation
n
n
n
n
n
n
n
nEmphasizes Parallel and Sequential Execution