{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T19:03:18Z","timestamp":1648926198986},"reference-count":21,"publisher":"Elsevier BV","issue":"9","license":[{"start":{"date-parts":[[1994,9,1]],"date-time":"1994-09-01T00:00:00Z","timestamp":778377600000},"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":[[1994,9]]},"DOI":"10.1016\/0140-3664(94)90089-2","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T22:34:07Z","timestamp":1060295647000},"page":"626-636","source":"Crossref","is-referenced-by-count":1,"title":["Throughput efficiency of an enhanced link management procedure"],"prefix":"10.1016","volume":"17","author":[{"given":"Christopher","family":"Ward","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sujata","family":"Mitra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas M","family":"Phillips","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"No 2","key":"10.1016\/0140-3664(94)90089-2_BIB1","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1109\/26.2744","article-title":"Reliable link initialization procedure","volume":"Vol 36","author":"Baratz","year":"1988","journal-title":"IEEE Trans. Commun."},{"key":"10.1016\/0140-3664(94)90089-2_BIB2","series-title":"Research Project","article-title":"Multiple satellite networks: performance evaluation via simulation","author":"Clare","year":"1988"},{"key":"10.1016\/0140-3664(94)90089-2_BIB3","first-page":"74","article-title":"Crosslink architectures for a multiple satellite system","volume":"Vol 75","author":"Binder","year":"1987"},{"issue":"No 2","key":"10.1016\/0140-3664(94)90089-2_BIB4","first-page":"40","article-title":"Iridium is in the works","volume":"Vol 29","author":"Bertiger","year":"1991","journal-title":"Aerospace America"},{"key":"10.1016\/0140-3664(94)90089-2_BIB5","series-title":"Proc. GLOBECOM","first-page":"773","article-title":"A feasibility study of a mobile communication network using a constellation of LEO satellites","author":"Richaria","year":"1989"},{"key":"10.1016\/0140-3664(94)90089-2_BIB6","article-title":"Final report on a low altitude satellite packet radio network","author":"Jorgensen","year":"1980","journal-title":"ESL Tech. Rep. ESL-TM 1225"},{"key":"10.1016\/0140-3664(94)90089-2_BIB7","series-title":"Data communication - HDLC procedure consolidation of elements of procedure","year":"1990"},{"key":"10.1016\/0140-3664(94)90089-2_BIB8","series-title":"Fundamentals of Astrodynamics","author":"Bate","year":"1971"},{"key":"10.1016\/0140-3664(94)90089-2_BIB9","first-page":"1177","article-title":"Navstar: global positioning system \u2014 ten years later","volume":"Vol 71","author":"Parkinson","year":"1983"},{"key":"10.1016\/0140-3664(94)90089-2_BIB10","series-title":"Proc. ACM SIGCOMM","first-page":"353","article-title":"NETBLT: A high throughput transport protocol","author":"Clark","year":"1987"},{"key":"10.1016\/0140-3664(94)90089-2_BIB11","series-title":"Proc. ACM SIGCOMM","first-page":"249","article-title":"LAMS-DLC ARQ protocol","author":"Ward","year":"1991"},{"key":"10.1016\/0140-3664(94)90089-2_BIB12","article-title":"Design of LAMSDLCP: a data link control protocol for low altitude multiple satellite networks","author":"Choi","year":"1992"},{"issue":"No 5","key":"10.1016\/0140-3664(94)90089-2_BIB13","doi-asserted-by":"crossref","first-page":"1136","DOI":"10.1109\/TCOM.1982.1095558","article-title":"Verification of HDLC","volume":"Vol 30","author":"Brand","year":"1982","journal-title":"IEEE Trans. Commun."},{"issue":"No 2","key":"10.1016\/0140-3664(94)90089-2_BIB14","first-page":"335","article-title":"Specification of a simplified transport protocol using different formal description techniques","volume":"Vol 18","author":"Bochmann","year":"1989","journal-title":"Comput. Networks & ISDN Syst."},{"issue":"No 2","key":"10.1016\/0140-3664(94)90089-2_BIB15","first-page":"361","article-title":"Finite state description of communication protocols","volume":"Vol 2","author":"Bochmann","year":"1979","journal-title":"Comput. Network"},{"key":"10.1016\/0140-3664(94)90089-2_BIB16","series-title":"Data Communications, Computer Networks and OSI","author":"Halsall","year":"1988"},{"key":"10.1016\/0140-3664(94)90089-2_BIB17","series-title":"Design and Validation of Computer Protocols","author":"Holzmann","year":"1991"},{"issue":"No 6","key":"10.1016\/0140-3664(94)90089-2_BIB18","doi-asserted-by":"crossref","first-page":"730","DOI":"10.1109\/TC.1982.1676079","article-title":"A theory for protocol validation","volume":"Vol 31","author":"Holzmann","year":"1982","journal-title":"IEEE Trans. Comput."},{"issue":"No 5","key":"10.1016\/0140-3664(94)90089-2_BIB19","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1145\/55483.55496","article-title":"Protocol verification using reachability analysis","volume":"Vol 17","author":"Lin","year":"1982","journal-title":"Comput. Rev."},{"key":"10.1016\/0140-3664(94)90089-2_BIB20","series-title":"Telecommunication Networks, Protocols, Modeling and Analysis","author":"Schwartz","year":"1988"},{"key":"10.1016\/0140-3664(94)90089-2_BIB21","series-title":"Computer Networks","author":"Tanenbaum","year":"1988"}],"container-title":["Computer Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0140366494900892?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0140366494900892?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T08:57:12Z","timestamp":1552640232000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0140366494900892"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,9]]},"references-count":21,"journal-issue":{"issue":"9","published-print":{"date-parts":[[1994,9]]}},"alternative-id":["0140366494900892"],"URL":"https:\/\/doi.org\/10.1016\/0140-3664(94)90089-2","relation":{},"ISSN":["0140-3664"],"issn-type":[{"value":"0140-3664","type":"print"}],"subject":[],"published":{"date-parts":[[1994,9]]}}}