CCS (Calculus of Communicating Systems)

GPTKB entity