{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T20:48:43Z","timestamp":1649105323721},"reference-count":18,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"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":[[1998,6]]},"DOI":"10.1016\/s0140-3664(98)00118-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:56:11Z","timestamp":1027637771000},"page":"686-692","source":"Crossref","is-referenced-by-count":0,"title":["Protocol converter validation through deductive inference: a case study"],"prefix":"10.1016","volume":"21","author":[{"given":"Subir","family":"Das","sequence":"first","affiliation":[]},{"given":"P.","family":"Dhar","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0140-3664(98)00118-2_BIB1","doi-asserted-by":"crossref","unstructured":"M.T. Liu, Protocol engineering, in: M.C. Yovits (Ed.), Advances in Computer, vol. 29, Academic Press, New York, 1989, pp. 79\u2013195.","DOI":"10.1016\/S0065-2458(08)60533-1"},{"issue":"9","key":"10.1016\/S0140-3664(98)00118-2_BIB2","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MC.1979.1658889","article-title":"Formal techniques for protocol specification and verification","volume":"12","author":"Sunshine","year":"1979","journal-title":"IEEE Comp. Magazine"},{"key":"10.1016\/S0140-3664(98)00118-2_BIB3","doi-asserted-by":"crossref","unstructured":"S.T. Voung, D.D. Cowan, Reachability analysis of protocols with FIFO channels, Proc. ACM SIGCOMM, ACM, 1983, pp. 49\u201357.","DOI":"10.1145\/1035237.1035250"},{"issue":"1","key":"10.1016\/S0140-3664(98)00118-2_BIB4","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1109\/TCOM.1984.1095950","article-title":"Protocol validation by maximal progress state exploration","volume":"32","author":"Gouda","year":"1984","journal-title":"IEEE Trans. Commun. COM-"},{"issue":"4","key":"10.1016\/S0140-3664(98)00118-2_BIB5","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1109\/TSE.1984.5010246","article-title":"Protocol verification via projections","volume":"10","author":"Lam","year":"1984","journal-title":"IEEE Trans. Soft. Engg."},{"key":"10.1016\/S0140-3664(98)00118-2_BIB6","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0169-7552(85)90086-8","article-title":"Protocol validation by fair progress state exploration","volume":"9","author":"Gouda","year":"1985","journal-title":"Comp. Net. and ISDN Systs."},{"key":"10.1016\/S0140-3664(98)00118-2_BIB7","unstructured":"M. Rajagopal, Protocol conversion: an algorithmic approach, PhD thesis, Georgia Institute of Technology, August 1990."},{"key":"10.1016\/S0140-3664(98)00118-2_BIB8","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1109\/12.88468","article-title":"Synthesizing a protocol converter from executable protocol traces","volume":"404","author":"Rajagopal","year":"1991","journal-title":"IEEE Trans. Comp. C-"},{"key":"10.1016\/S0140-3664(98)00118-2_BIB9","unstructured":"S. Das, Design and implementation of protocol converters, PhD thesis, Indian Institute of Technology, June 1996."},{"issue":"4","key":"10.1016\/S0140-3664(98)00118-2_BIB10","first-page":"373","article-title":"Automated protocol validation: one chain approach","volume":"2","author":"Rudin","year":"1978","journal-title":"Comp. Nets."},{"issue":"7","key":"10.1016\/S0140-3664(98)00118-2_BIB11","first-page":"394","article-title":"General techniques for communication protocol validation","volume":"22","author":"West","year":"1978","journal-title":"IBM J. Res. and Dev."},{"issue":"4","key":"10.1016\/S0140-3664(98)00118-2_BIB12","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. COM-"},{"issue":"7","key":"10.1016\/S0140-3664(98)00118-2_BIB13","first-page":"864","article-title":"Synthesis of communicating machines with guaranteed progress","volume":"32","author":"Gouda","year":"1984","journal-title":"IEEE Trans. Commun. COM-"},{"key":"10.1016\/S0140-3664(98)00118-2_BIB14","unstructured":"D. Saha, Formal protocol conversion in computer networks, PhD thesis, Indian Institute of Technology, Kharagpur, India, June 1992."},{"key":"10.1016\/S0140-3664(98)00118-2_BIB15","unstructured":"J.R. Zaho, G.V. Bochmann, Reduced reachability analysis of communication protocols: a new approach, Prot Spec, Test and Verif, North Holland, 1986, pp. 245\u2013254."},{"key":"10.1016\/S0140-3664(98)00118-2_BIB16","doi-asserted-by":"crossref","unstructured":"J. Chang, M.T. Liu, An approach to protocol complementation for internetworking, Proc. ICSI, April 1990, pp. 205\u2013211.","DOI":"10.1109\/ICSI.1990.138685"},{"issue":"7","key":"10.1016\/S0140-3664(98)00118-2_BIB17","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1016\/S0140-3664(97)00055-8","article-title":"Design of simplified protocol converters through protocol complementation","volume":"20","author":"Das","year":"1997","journal-title":"Computer Communication"},{"issue":"4","key":"10.1016\/S0140-3664(98)00118-2_BIB18","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1109\/12.88460","article-title":"Formalization of protocol engineering concepts","volume":"40","author":"King","year":"1991","journal-title":"IEEE Trans. Comput. C-"}],"container-title":["Computer Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0140366498001182?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0140366498001182?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T23:26:01Z","timestamp":1555197961000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0140366498001182"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,6]]},"references-count":18,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1998,6]]}},"alternative-id":["S0140366498001182"],"URL":"https:\/\/doi.org\/10.1016\/s0140-3664(98)00118-2","relation":{},"ISSN":["0140-3664"],"issn-type":[{"value":"0140-3664","type":"print"}],"subject":[],"published":{"date-parts":[[1998,6]]}}}