Zu diesem lizenzpflichtigen Artikel gibt es eine Open Access Version, die kostenlos und ohne Lizenzbeschränkung gelesen werden kann. Die Open Access Version kann inhaltlich von der lizenzpflichtigen Version abweichen.
Preisinformation
Bitte wählen Sie ihr Lieferland und ihre Kundengruppe
A network is a finite collection of processes which communicate with one another exclusively through messages as in Hoare's model. The model is motivated by the work of Hoare; it will be helpful if the reader is familiar with this work. A network may be represented logically as a labeled graph where the vertices are processes and the edges are communication links. There may be several edges between a pair of processes corresponding to many communication links. The authors assume a simple protocol for message transmission a message is transmitted along a link only when the two processes at both ends of the link are waiting to communicate along that link.