{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T04:07:56Z","timestamp":1747973276192,"version":"3.41.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mobile Networks and Applications"],"published-print":{"date-parts":[[1997,11]]},"DOI":"10.1023\/a:1013692902855","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T23:30:27Z","timestamp":1045697427000},"page":"259-269","source":"Crossref","is-referenced-by-count":8,"title":["A formal method for synthesizing optimized protocol converters and its application to mobile data networks"],"prefix":"10.1007","volume":"2","author":[{"given":"Zhongping","family":"Tao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregor v.","family":"Bochmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachida","family":"Dssouli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"328980_CR1","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF01196258","volume":"1","author":"E. Ayanoglu","year":"1995","unstructured":"E. Ayanoglu et al., AIRMAIL: A link-layer protocol for wireless networks, Wireless Networks 1 (1995) 47\u201360.","journal-title":"Wireless Networks"},{"key":"328980_CR2","doi-asserted-by":"crossref","unstructured":"G. v. Bochmann, Deriving protocol converters for communication gateways, IEEE Transactions on Communications 38(9) (September 1990).","DOI":"10.1109\/26.61367"},{"key":"328980_CR3","doi-asserted-by":"crossref","unstructured":"G. v. Bochmann et al., Design principles for communication gateways, IEEE Journal on Selected Areas in Communications 8(1) (January 1990).","DOI":"10.1109\/49.46842"},{"key":"328980_CR4","unstructured":"E. Brinksma, G. Scollo and C. Steenbergen, LOTOS specification, their implementations, and their tests, in: Proceedings of IFIP Workshop PSTV (1987)."},{"key":"328980_CR5","doi-asserted-by":"crossref","unstructured":"K. Brown and S. Singh, Network, architecture and communication protocols for mobile computing (1996).","DOI":"10.1007\/BF02109337"},{"key":"328980_CR6","unstructured":"K.L. Calvert and S.S. Lam, Deriving a protocol converter: A top-down method, in: Proceedings of ACM SIGCOMM'89."},{"key":"328980_CR7","doi-asserted-by":"crossref","unstructured":"R. De Nicola, Extensional equivalences for transition systems, Acta Informatica 24 (1987).","DOI":"10.1007\/BF00264365"},{"key":"328980_CR8","doi-asserted-by":"crossref","unstructured":"P.E. Green Jr, Protocol conversion, IEEE Transactions on Communications 34(3) (March 1986).","DOI":"10.1109\/TCOM.1986.1096529"},{"key":"328980_CR9","doi-asserted-by":"crossref","unstructured":"D.M. Kristol et al., Efficient gateway synthesis from formal specifications, in: Proceedings of ACM SIGCOMM'91. See also IEEE\/ACM Transactions on Networking 1(2) (April 1993).","DOI":"10.1109\/90.222928"},{"key":"328980_CR10","doi-asserted-by":"crossref","unstructured":"S.S. Lam, Protocol conversion, IEEE Transactions on Software Engineering 14 (March 1988).","DOI":"10.1109\/32.6181"},{"key":"328980_CR11","doi-asserted-by":"crossref","unstructured":"S.S. Lam and K.L. Calvert, Formal methods for protocol conversion, IEEE Journal on Selected Areas in Communications 8(1) (January 1990).","DOI":"10.1109\/49.46852"},{"key":"328980_CR12","doi-asserted-by":"crossref","unstructured":"G. Leduc, A framework based on implementation relations for implementing LOTOS specifications, Computer Networks and ISDN Systems 25 (1992).","DOI":"10.1016\/0169-7552(92)90122-7"},{"key":"328980_CR13","first-page":"59","volume-title":"Elements of the Theory of Computation","author":"H.R. Lewis","year":"1981","unstructured":"H.R. Lewis, Elements of the Theory of Computation (Prentice-Hall, Englewood Cliffs, NJ, 1981) pp. 59\u201362."},{"key":"328980_CR14","doi-asserted-by":"crossref","unstructured":"P. Merlin and G. v. Bochmann, On the construction of submodule specifications and communication protocols, ACM TOPLAS 5(1) (1983).","DOI":"10.1145\/357195.357196"},{"key":"328980_CR15","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner, Communication and Concurrency (Prentice-Hall, Englewood Cliffs, NJ, 1989)."},{"key":"328980_CR16","unstructured":"K. Okumura, A formal protocol conversion method, in: Proceedings of ACM SIGCOMM'86."},{"key":"328980_CR17","unstructured":"K. Okumura, Generation of proper adapters and converters from a formal service specification, in: Proceedings of IEEE INFOCOM'90."},{"key":"328980_CR18","doi-asserted-by":"crossref","unstructured":"M. Rajagopal et al., Synthesizing a protocol converter from executable protocol traces, IEEE Transactions on Computers 40(4) (April 1991).","DOI":"10.1109\/12.88468"},{"key":"328980_CR19","doi-asserted-by":"crossref","unstructured":"J.C. Shu and M.T. Liu, A synchronization model for protocol conversion, in: Proc. IEEE INFOCOMM'89, Ottawa, Canada (1989).","DOI":"10.1109\/INFCOM.1989.101466"},{"key":"328980_CR20","doi-asserted-by":"crossref","unstructured":"J.C. Shu and M.T. Liu, An approach to indirect protocol conversion, Computer Networks and ISDN Systems 21 (1991).","DOI":"10.1016\/0169-7552(91)90100-Q"},{"key":"328980_CR21","unstructured":"Z.P. Tao, A formal method for the design of real-time communicating subsystems and controllers, Ph.D. Thesis, Universit\u00e9 de Montr\u00e9al."},{"key":"328980_CR22","unstructured":"Y.W. Yao, W.S. Chen and M.T. Liu, A modular approach to constructing protocol converters, in: Proc. IEEE INFOCOM'90, San Francisco, CA (1990)."}],"container-title":["Mobile Networks and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013692902855.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1013692902855\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013692902855.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T09:24:57Z","timestamp":1747905897000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1013692902855"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,11]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,11]]}},"alternative-id":["328980"],"URL":"https:\/\/doi.org\/10.1023\/a:1013692902855","relation":{},"ISSN":["1383-469X","1572-8153"],"issn-type":[{"type":"print","value":"1383-469X"},{"type":"electronic","value":"1572-8153"}],"subject":[],"published":{"date-parts":[[1997,11]]}}}