GRAPH MODELING OF COMPUTER COMMUNICATIONS PROTOCOL.

Jonathan B. Postel, David Farber

研究成果: Paper査読

13 被引用数 (Scopus)

抄録

Many of the problems in designing communications protocols, which involve asynchronous parallel processes, are due to the difficulty in recognizing all of the possible orderings in which the significant events can occur and the possible execution sequences which arise from these orderings. The modeling technique examined in this paper is derived from the UCLA Graph Model of Computation and experience with the development of ARPANET. One especially attractive aspect of this modeling technique is the existence of a computer program for testing for the property of proper termination. Proper termination indicates that the process modeled by the graph is in a certain sense well behaved; for example it has no deadlocks. These developments suggest that communications protocols can be modeled by the UCLA Graph Model in a useful and revealing way.

本文言語English
ページ66-77
ページ数12
出版ステータスPublished - 1976 1 1
外部発表はい
イベントProc of the Tex Conf on Comput Syst, 5th - Austin, TX, USA
継続期間: 1976 10 181976 10 19

Conference

ConferenceProc of the Tex Conf on Comput Syst, 5th
CityAustin, TX, USA
Period76/10/1876/10/19

ASJC Scopus subject areas

  • 工学(全般)

フィンガープリント

「GRAPH MODELING OF COMPUTER COMMUNICATIONS PROTOCOL.」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル