Algorithms; Design; Concurrency; abstraction; static analysis; monotone frameworks; over- and underapproximations; abstract interpretation; modal transition systems; labeled transition systems; process calculi; CCS; 3-valued logic; temporal logic