The N U system as a development system for concurrent programs: δ N U

AbstractThe development of programs is an activity that can be based on mathematical principles and on logical framework. This short paper contains rules allowing to derive concurrent programs with respect to a given programming language. These rules are built from more elementary rules. A short example is given. In some way, we identify concurrent programs with proofs. Our system N U is a reformulation of the framework proposed by Chandy and Misra (1988) but our reformulation is oriented towards a development framework in a formal way