Implementation of the protocol to avoid deadlocks in π-calculus

摘要

We have implemented the protocol for the multi-threaded processes with choice written in π-calculus[1]. We have shown the outline of the protocol. Moreover, we have proposed the language which can be used on a computer more easily than the mathematical notations of π-calcolus and explained how to implement the interpreter by employing JAVA. Finally, we have implemented the system to execute the language and shown the example for the executions.