User:Alirerezaee.soft/Books/things 6

things 6

 * Chaos model
 * Communicating sequential processes
 * Transputer
 * Process calculus
 * Syntax
 * Algebraic semantics (computer science)
 * Operational semantics
 * Denotational semantics
 * Divergence (computer science)
 * Model checking
 * Transition system
 * Unbounded nondeterminism