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.