{"title":"Internetworking between TP4 and TCP through protocol complementation","authors":"S. Das, P. Dhar","doi":"10.1109/ICAPP.1995.472200","DOIUrl":null,"url":null,"abstract":"Like protocol conversion, protocol complementation is an approach for network interconnection. This paper describes the internetworking between TP4 and TCP at the transport level through protocol complementation. This applies to the need for interoperability between ISO-OSI and Internet. From the given CFSM specifications of protocol P[P/sub s/,P/sub r/] of TP4 and Q[Qs,Qr] of TCP, we have constructed a composite protocol CFSM R/sub PQ/ for the converter which may be inserted as a virtual layer to provide a uniform view to the users. An attempt has been made to implement the converter through Estelle-C (Extended State Transition Language) compiler, a formal description tool for protocol specification and verification.<<ETX>>","PeriodicalId":448130,"journal":{"name":"Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing","volume":"25 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1995-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICAPP.1995.472200","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
Like protocol conversion, protocol complementation is an approach for network interconnection. This paper describes the internetworking between TP4 and TCP at the transport level through protocol complementation. This applies to the need for interoperability between ISO-OSI and Internet. From the given CFSM specifications of protocol P[P/sub s/,P/sub r/] of TP4 and Q[Qs,Qr] of TCP, we have constructed a composite protocol CFSM R/sub PQ/ for the converter which may be inserted as a virtual layer to provide a uniform view to the users. An attempt has been made to implement the converter through Estelle-C (Extended State Transition Language) compiler, a formal description tool for protocol specification and verification.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
