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

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