A Refinement of Communicating Processes


  • S. Damy
  • G. R. Perrin


The programming of MIMD multiprocessors requires to design processes to be mapped on the nodes of the architecture and communicating by message passing. The aim of this paper is to give a contribution for a rationalized design of such programs from formal specifications. We introduce a refinement calculus of parallel specifications in which processes refine the safety properties and communications refine the liveness one. Rules and the stepwise technique are illustrated by the shortest path problem.


Download data is not yet available.



How to Cite

Damy, S., & Perrin, G. R. (2012). A Refinement of Communicating Processes. COMPUTING AND INFORMATICS, 15(6), 555–569. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/679