Individual km#logic_for_reasoning_about_concurrent_processes_or_mobile_processes
  >part:  km#CSP  km#CCS  km#pi-calculus
  >part of:  km#logic_for_reasoning_about_computer_programs
     >part of:  km#mathematical_logic__symbolic_logic__metamathematics__metamathematic
        >part of:  km#formal_logic
           >part of:  #logic.philosophy  the branch of philosophy that analyzes inference
              >part of:  #philosophy  the rational investigation of questions about existence and knowledge and ethics
        >part of:  km#abstract_algebra

No statement uses or specializes km#logic_for_reasoning_about_concurrent_processes_or_mobile_processes; click here to add one.