Abstract data type for concurrent process protocol modelConcurrent process protocol 모델을 위한 추상적 자료 형태

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 462
  • Download : 0
The combination of state transition model, axiomatic specification notations, and protocol is studied for logical deduction techniques of protocol analysis method as suggested by Sunshine. For axiomatic specification notions, axiomatic abstract data type that permits a representation-independent formal specification of a data type is applied to communication protocol specification. The limitation of the Sunshine``s methodology is analyzed, and the modified method is proposed for relaxation of limitation. As an example, a concurrent process model based on the data transfer functions of DoD``s Transmission Control Protocol(TCP) is described and specified as the modified axiomatic abstract data type.
Advisors
Chon, Kil-Nam전길남
Description
한국과학기술원 : 전산학과,
Publisher
한국과학기술원
Issue Date
1984
Identifier
64127/325007 / 000821248
Language
eng
Description

학위논문(석사) - 한국과학기술원 : 전산학과, 1984.2, [ [ii], 49, [4] p. ]

Keywords

동시성 제어.

URI
http://hdl.handle.net/10203/33596
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=64127&flag=dissertation
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0