Communicating Concurrent Processes

TL;DR

This paper introduces Communicating Concurrent Processes (CCP), an extension of CSP that allows simultaneous events to be processed concurrently, overcoming CSP's limitation of handling only one event at a time.

Contribution

The paper proposes a modification to CSP enabling it to process multiple events occurring simultaneously, thus supporting true concurrency.

Findings

CCP can process multiple concurrent events

Extension of CSP to handle simultaneous events

Improved modeling of concurrent systems

Abstract

Process algebra CSP only permits a process to engage in one event on a moment and records this single event into the traces of the process. CSP cannot process events simultaneously, it treat the events occurred simultaneously as one single event. We modify CSP to process the events occurred simultaneously, which is called communicating concurrent processes (CCP).