communicating sequential processes (Q1120460)
formal language for concurrent systems
Language:
other details
aliases CSP
description formal language for concurrent systems

External Links
(P646) /m/01ksbf
(P3417) Communicating-Sequential-Processes
(P3553) 20034970
(P5106) communseqpro
csp
(P6366) 155214134
(P10283) C155214134