A Refinement of Communicating Processes
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
Issue
Section
Articles