A True Concurrent Process Calculus and Its Conflict Bisimulation

In this paper we present a true concurrency variant of pi-calculus. This calculus can describe the simultaneous execution of several atomic actions and the true concurrent execution of several processes. An important character of true concurrency is conflict. When a process encounters a conflict, it cannot evolve into any process. In order to distinguish two processes that one may encounter a conflict, and the other cannot, we propose a concept of conflict bisimulation, two processes are conflict bisimilar if they can not only evolve into conflict bisimilar processes,but also have the potential of same conflict. In pi-calculus,congruence cannot be preserved under prefix operator, but in the case of our true concurrency variant of pi-calculus,the congruence property holds for all operators.