The research of recent years has shown that process-oriented programming languages provide a suitable means for developing concurrent systems. However, in the development of a concurrent system, there ...