{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T16:22:20Z","timestamp":1648830140688},"reference-count":24,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[1997,8,1]],"date-time":"1997-08-01T00:00:00Z","timestamp":870393600000},"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 Communications"],"published-print":{"date-parts":[[1997,8]]},"DOI":"10.1016\/s0140-3664(97)00055-8","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T02:56:11Z","timestamp":1027652171000},"page":"528-534","source":"Crossref","is-referenced-by-count":1,"title":["Design of simplified protocol converters through protocol complementation"],"prefix":"10.1016","volume":"20","author":[{"given":"Subir","family":"Das","sequence":"first","affiliation":[]},{"given":"P.","family":"Dhar","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0140-3664(97)00055-8_BIB1","doi-asserted-by":"crossref","unstructured":"P.E. Green, Protocol conversion, IEEE Trans. Commun., COM-34 (1986) 288\u2013296.","DOI":"10.1109\/TCOM.1986.1096529"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB2","unstructured":"P.E. Green (ed.), Computer Network Interconnection and Protocol Conversion, IEEE Press, 1988."},{"key":"10.1016\/S0140-3664(97)00055-8_BIB3","doi-asserted-by":"crossref","unstructured":"E.W. Biersack, A systematic approach for constructing gateways, Computer Network and ISDN Systems, 18 (1990) 79\u201395.","DOI":"10.1016\/0169-7552(90)90137-H"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB4","doi-asserted-by":"crossref","unstructured":"K.L. Calvert and S.S. Lam, Deriving a protocol converter: a top-down method, Proc. ACM SIGCOMM, San Francisco, CA, 1989, pp. 247\u2013258.","DOI":"10.1145\/75246.75271"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB5","doi-asserted-by":"crossref","unstructured":"K.L. Calvert and S.S. Lam, Formal methods for protocol conversion, IEEE J. Sel. Area. Comm., 8 (1990) 127\u2013142.","DOI":"10.1109\/49.46852"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB6","doi-asserted-by":"crossref","unstructured":"J. Chang and M.T. Liu, An approach to protocol complementation for internetworking, Proc. IEEE, ICSI '90, NJ, April 1990, pp. 205\u2013211.","DOI":"10.1109\/ICSI.1990.138685"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB7","doi-asserted-by":"crossref","unstructured":"S. Lam, Protocol conversion, IEEE Trans. Software Eng., 14 (1988) 353\u2013362.","DOI":"10.1109\/32.4655"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB8","unstructured":"Y. Ohara, S. Yoshitake and T. Kawoka, Protocol conversion method for heterogeneous systems interconnection in multiprofile environment, 7th IFIP Symposium on Protocol Specification, Testing and Verification, Vol. 7, 1987."},{"key":"10.1016\/S0140-3664(97)00055-8_BIB9","doi-asserted-by":"crossref","unstructured":"K. Okumura, A formal protocol conversion method, Proc. ACM SIGCOMM '86 Symp., Stowe, VT, August 1986, pp. 30\u201337.","DOI":"10.1145\/18172.18176"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB10","doi-asserted-by":"crossref","unstructured":"K. Okumara, Generation of proper adapters and converters from a formal service specification, Proc. IEEE INFOCOMM, Austin, TX, 1990, pp. 564\u2013571.","DOI":"10.1109\/INFCOM.1990.91296"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB11","doi-asserted-by":"crossref","unstructured":"M. Rajagopal and R.E. Miller, Synthesizing a protocol converter from executable protocol traces, IEEE Trans. Computer, C-40 (1991) 487\u2013499.","DOI":"10.1109\/12.88468"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB12","doi-asserted-by":"crossref","unstructured":"J.C. Shu, Protocol conversion for computer networks, Ph.D. thesis, Ohio State University, 1990.","DOI":"10.1109\/PCCC.1990.101673"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB13","doi-asserted-by":"crossref","unstructured":"J.C. Shu and M.T. Liu, A synchronisation model for protocol conversion, Proc. INFOCOMM, April 1989, pp. 276\u2013284.","DOI":"10.1109\/INFCOM.1989.101466"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB14","doi-asserted-by":"crossref","unstructured":"J.C. Shu and M.T. Liu, An approach to indirect protocol conversion, Computer Network and ISDN Systems, 21 (1991) 93\u2013108.","DOI":"10.1016\/0169-7552(91)90100-Q"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB15","doi-asserted-by":"crossref","unstructured":"Y.W. Yao, W.S. Chen and M.T. Liu, A modular approach to constructing protocol converters, Proc. IEEE INFOCOMM, Austin, TX, 1990, pp. 572\u2013579.","DOI":"10.1109\/INFCOM.1990.91297"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB16","doi-asserted-by":"crossref","unstructured":"D.M. Kristol, D. Lee, A. Netravali and K. Sabnani, A polynomial algorithm for gateway generation from formal specifications, IEEE\/ACM Trans. Networking, 1 (1993) 217\u2013229.","DOI":"10.1109\/90.222928"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB17","doi-asserted-by":"crossref","unstructured":"M. Peyravian and C.T. Lea, Construction of protocol converters using formal methods, Comp. Communs., 16 (1993) 215\u2013288.","DOI":"10.1016\/0140-3664(93)90091-6"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB18","unstructured":"S. Das, R.C. Ganguli, P. Dhar and D. Saha, Network interconnection and protocol conversion: a protocol complementation approach, J. Inst. Eng., India, 75 (1994) 30\u201332."},{"key":"10.1016\/S0140-3664(97)00055-8_BIB19","doi-asserted-by":"crossref","unstructured":"S. Das and P. Dhar, Internetworking between TP4 and TCP through protocol complementation, Proc. IEEE 1st Int. Conf. on Algorithms and Architectures for Parallel Processing (ICA3PP-95), Brisbane, Australia, Vol. 1, April 1995, pp. 315\u2013323.","DOI":"10.1109\/ICAPP.1995.472200"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB20","doi-asserted-by":"crossref","unstructured":"M.T. Liu, Protocol engineering, in: M.C. Yovits (ed.), Advances in Computers, Academic Press, 1989, pp. 79\u2013195.","DOI":"10.1016\/S0065-2458(08)60533-1"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB21","doi-asserted-by":"crossref","unstructured":"D. Brand and R. Zafiropoulo, On communicating finite state machines, J. Assoc. Comput. Mach., 30 (1983) 323\u2013342.","DOI":"10.1145\/322374.322380"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB22","doi-asserted-by":"crossref","unstructured":"R. Zafiropulo, H.C. West, H. Rudin et. al., Towards analysing and synthesizing protocols, IEEE Trans. Commun., 28 (1980) 651\u2013660.","DOI":"10.1109\/TCOM.1980.1094687"},{"key":"10.1016\/S0140-3664(97)00055-8_BIB23","unstructured":"J.E. Hopcroft and J.D. Ullman, Introduction to Automata Theory, Language and Computation, Addison-Wesley, New York, 1979."},{"key":"10.1016\/S0140-3664(97)00055-8_BIB24","doi-asserted-by":"crossref","unstructured":"P. Merlin and G.V. Bochmann, On construction of submodule specifications and communication protocols, ACM Trans. Progr. Lang. Sys., 5 (1983) 1\u201325.","DOI":"10.1145\/357195.357196"}],"container-title":["Computer Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0140366497000558?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0140366497000558?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T05:55:46Z","timestamp":1580882146000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0140366497000558"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,8]]},"references-count":24,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1997,8]]}},"alternative-id":["S0140366497000558"],"URL":"https:\/\/doi.org\/10.1016\/s0140-3664(97)00055-8","relation":{},"ISSN":["0140-3664"],"issn-type":[{"value":"0140-3664","type":"print"}],"subject":[],"published":{"date-parts":[[1997,8]]}}}