{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,26]],"date-time":"2025-09-26T00:03:55Z","timestamp":1758845035538},"reference-count":29,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1991,4,1]],"date-time":"1991-04-01T00:00:00Z","timestamp":670464000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks and ISDN Systems"],"published-print":{"date-parts":[[1991,4]]},"DOI":"10.1016\/0169-7552(91)90100-q","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T15:09:00Z","timestamp":1062601740000},"page":"93-108","source":"Crossref","is-referenced-by-count":12,"title":["An approach to indirect protocol conversion"],"prefix":"10.1016","volume":"21","author":[{"given":"J.C","family":"Shu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming T","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/0169-7552(91)90100-Q_BIB1","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1109\/TCOM.1980.1094685","article-title":"Formal methods in communication protocol design","volume":"28","author":"Bochmann","year":"1980","journal-title":"IEEE Trans. Commun."},{"issue":"2","key":"10.1016\/0169-7552(91)90100-Q_BIB2","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/322374.322380","article-title":"On communicating finite-state machines","volume":"30","author":"Brand","year":"1983","journal-title":"J. ACM"},{"issue":"1","key":"10.1016\/0169-7552(91)90100-Q_BIB3","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/49.46852","article-title":"Formal Methods for Protocol Conversion","volume":"8","author":"Calvert","year":"1990","journal-title":"IEEE J. Select. Areas Commun."},{"key":"10.1016\/0169-7552(91)90100-Q_BIB4","series-title":"Proc. IEEE INFOCOM '90","first-page":"552","article-title":"Adaptors for protocol conversion","author":"Calvert","year":"1990"},{"key":"10.1016\/0169-7552(91)90100-Q_BIB5","series-title":"Proc. ACM SIGCOMM '89 Symposium","first-page":"247","article-title":"Deriving a protocol converter: a top-down method","author":"Calvert","year":"1989"},{"key":"10.1016\/0169-7552(91)90100-Q_BIB6","series-title":"Proc. IEEE ICSI '90","first-page":"205","article-title":"An approach to protocol complementation for internetworking","author":"Chang","year":"1990"},{"key":"10.1016\/0169-7552(91)90100-Q_BIB7","series-title":"Proc. IEEE 9th PCCC","first-page":"539","article-title":"Using protocol validation techniques to solve protocol conversion problems","author":"Chang","year":"1990"},{"issue":"4","key":"10.1016\/0169-7552(91)90100-Q_BIB8","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1145\/6110.214400","article-title":"A discipline for constructing multiphase communication protocols","volume":"3","author":"Chow","year":"1985","journal-title":"ACM Trans. Comput. Systems"},{"key":"10.1016\/0169-7552(91)90100-Q_BIB9","series-title":"An Introduction to Operating Systems","author":"Dietel","year":"1984"},{"issue":"5","key":"10.1016\/0169-7552(91)90100-Q_BIB10","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1147\/rd.275.0452","article-title":"Some methods for providing OSI transport in SNA","volume":"27","author":"Francois","year":"1983","journal-title":"IBM J. of Res. & Dev."},{"issue":"3","key":"10.1016\/0169-7552(91)90100-Q_BIB11","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1109\/TCOM.1986.1096529","article-title":"Protocol Conversion","volume":"34","author":"Green","year":"1986","journal-title":"IEEE Trans. Commun."},{"issue":"2","key":"10.1016\/0169-7552(91)90100-Q_BIB12","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1109\/JSAC.1986.1146309","article-title":"Conversion between TCP and ISO transport protocols as a method of achieving interoperability","volume":"4","author":"Groenbak","year":"1986","journal-title":"IEEE J. on Select. Areas Commun."},{"key":"10.1016\/0169-7552(91)90100-Q_BIB13","series-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft","year":"1979"},{"key":"10.1016\/0169-7552(91)90100-Q_BIB14","series-title":"Proc. ACM SIGCOMM '86 Symposium","first-page":"19","article-title":"Protocol conversion: correctness problems","author":"Lam","year":"1986"},{"issue":"3","key":"10.1016\/0169-7552(91)90100-Q_BIB15","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1109\/32.4655","article-title":"Protocol conversion","volume":"14","author":"Lam","year":"1988","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0169-7552(91)90100-Q_BIB16","series-title":"Proc. ACM SIGCOMM '87 Workshop","first-page":"126","article-title":"Protocol verification using reachability analysis: the state explosion problem and relief strategies","author":"Lin","year":"1987"},{"key":"10.1016\/0169-7552(91)90100-Q_BIB17","series-title":"Proc. IEEE Int. Conf. Communication '88","first-page":"107","article-title":"A formal model for protocol internetworking in ISDN","author":"Lin","year":"1988"},{"key":"10.1016\/0169-7552(91)90100-Q_BIB18","first-page":"79","article-title":"Protocol engineering","volume":"27","author":"Liu","year":"1989"},{"issue":"1","key":"10.1016\/0169-7552(91)90100-Q_BIB19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/357195.357196","article-title":"On the construction of submodule specifications and communication protocols","volume":"5","author":"Merlin","year":"1983","journal-title":"ACM TOPLAS"},{"key":"10.1016\/0169-7552(91)90100-Q_BIB20","article-title":"A formal protocol conversion for CFSMs with FIFO queues model","author":"Okumura","year":"1987","journal-title":"IBM Tokyo Research Laboratory, TRL Research Rep. TR 87-0036"},{"key":"10.1016\/0169-7552(91)90100-Q_BIB21","series-title":"Proc. ACM SIGCOMM '86 Symposium","first-page":"30","article-title":"A formal protocol conversion method","author":"Okumura","year":"1986"},{"key":"10.1016\/0169-7552(91)90100-Q_BIB22","series-title":"Proc. IEEE INFOCOM '90","first-page":"564","article-title":"Generations of proper adapters and converters from a formal service specification","author":"Okumura","year":"1990"},{"key":"10.1016\/0169-7552(91)90100-Q_BIB23","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0169-7552(86)90054-1","article-title":"OSI Transport Services on Top of TCP","volume":"12","author":"Rose","year":"1987","journal-title":"Comput. Networks ISDN Systems"},{"key":"10.1016\/0169-7552(91)90100-Q_BIB24","article-title":"Protocol Conversion for Computer Networks","author":"Shu","year":"1990"},{"key":"10.1016\/0169-7552(91)90100-Q_BIB25","series-title":"Proc. IEEE INFOCOM '89","first-page":"276","article-title":"A synchronization model for protocol conversion","author":"Shu","year":"1989"},{"key":"10.1016\/0169-7552(91)90100-Q_BIB26","series-title":"Computer Networks","author":"Tanenbaum","year":"1988"},{"key":"10.1016\/0169-7552(91)90100-Q_BIB27","series-title":"Proc. ACM SIGCOMM '83 Symposium","first-page":"49","article-title":"Reachability analysis of protocols with FIFO channels","author":"Vuong","year":"1983"},{"key":"10.1016\/0169-7552(91)90100-Q_BIB28","series-title":"Proc. IEEE INFOCOM '82","first-page":"209","article-title":"A Decomposition Method for the Validation of Structured Protocols","author":"Vuong","year":"1982"},{"key":"10.1016\/0169-7552(91)90100-Q_BIB29","series-title":"Proc. IEEE INFOCOM '90","first-page":"572","article-title":"A Modular Approach to Constructing Protocol Converters","author":"Yao","year":"1990"}],"container-title":["Computer Networks and ISDN Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016975529190100Q?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016975529190100Q?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T12:54:15Z","timestamp":1551099255000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016975529190100Q"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,4]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1991,4]]}},"alternative-id":["016975529190100Q"],"URL":"https:\/\/doi.org\/10.1016\/0169-7552(91)90100-q","relation":{},"ISSN":["0169-7552"],"issn-type":[{"value":"0169-7552","type":"print"}],"subject":[],"published":{"date-parts":[[1991,4]]}}}