A Refinement of Communicating Processes

Authors

  • S. Damy
  • G. R. Perrin

Abstract

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.

Downloads

Download data is not yet available.

Published

2012-03-05

How to Cite

Damy, S., & Perrin, G. R. (2012). A Refinement of Communicating Processes. Computing and Informatics, 15(6), 555–569. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/679