Research on Type-Safety Parallel Update

In distributed system, interaction makes program harder to do update dynamically. In this paper, a parallel update calculus with multi-version classes is established with the goal of understanding the underlying foundations of update parallel program, for the purpose of understanding how to best build reliable parallel updatable programs. The calculus formulates as an extension of calculus FJ (Featherweight Java) with multi-versions class, and extension of supporting communication between processes. This calculus can be used as the base of parallel updatable program.