Flow Logic for Process Calculi - Nielson, Hanne Riis; Nielson, Flemming; Pilegaard, Henrik (ACM computing surveys, 2012)
Keywords: Applied sciences; Calculi; Calculus; Codes; Computation; Computer science; control theory; systems; Computer systems performance. Reliability; Data flow analysis; Exact sciences and technology; Logic; Logic programming; Logical, boolean and switching functions; Programming languages; Software; Studies; Surveys; Theoretical computing; Process algebra; Moore family; Theory; Computation code; Abstract interpretation; Logical programming; Languages; Mobile code; pi calculus; Design; Verification Static analysis; Semantics; Static analysis; adequacy; Mobile agent; process calculi; Program behavior; flow logic; Documentation; Program verification; Reachability; subject reduction; Educational software program; Algorithms; Programming language; Data flow analysis; Reliability; Hoare logic