CCSP

Contextually Communicating Sequential Processes