Communicating sequential processes
= Communicating sequential processes
{wiki}
= CSP
{c}
{synonym}
A <process algebra> in which components communicate through synchronized <CSP events>. Its operational description uses a <labelled transition system>; standard observations include <CSP traces>, <CSP stable failures> and <CSP divergences>.<FDR2 User Manual>[§1.2, The CSP View of the World, opening paragraphs and list of semantic models]{ref}