TY - INPR ID - deploy206 UR - http://deploy-eprints.ecs.soton.ac.uk/206/ A1 - Hoang, Thai Son A1 - Abrial, Jean-Raymond TI - Event-B Decomposition for Parallel Programs Y1 - 2010/02// N2 - We present here a case study developing a parallel program. The approach that we use combines re?nement and decomposition techniques. This involves in the ?rst step to abstractly specify the aim of the program, then subsequently introduce shared information between sub-processes via re?nement. Afterwards, decomposition is applied to separate the resulting model into sub-models for different processes. These sub-models are later independently developed using re?nement. Our approach aids the understanding of parallel programs and reduces the complexity in their proofs of correctness. AV - none T2 - ABZ2010 ER -