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.