HP Labs Technical Reports

Refining Networks

Edwards, Nigel J.

HPL-90-169

Keyword(s):

Abstract: This paper investigates stepwise refinement of networks of communicating processes. Each step generates a new networking by using a function to introduce a terminating process into one or two component processes in the network. This enables us to introduce new synchronisations. An example is given to show how the technique described can be used.

Back to Index