Individual km#logic_for_reasoning_about_concurrent_processes_or_mobile_processes
  >part of:  km#logic_for_reasoning_about_computer_programs
  >part:  km#CSP
  >part:  km#CCS
  >part:  km#pi-calculus

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