{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T16:11:12Z","timestamp":1648743072668},"reference-count":25,"publisher":"Wiley","issue":"5-6","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":5844,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Commun. Syst."],"published-print":{"date-parts":[[1999,9]]},"DOI":"10.1002\/(sici)1099-1131(199909\/12)12:5\/6<325::aid-dac414>3.0.co;2-u","type":"journal-article","created":{"date-parts":[[2005,12,2]],"date-time":"2005-12-02T07:59:35Z","timestamp":1133510375000},"page":"325-347","source":"Crossref","is-referenced-by-count":0,"title":["Estimating protocol performance using a formal specification model"],"prefix":"10.1002","volume":"12","author":[{"given":"Raymond E.","family":"Miller","sequence":"first","affiliation":[]},{"given":"Zafar Ullah","family":"Chaudhry","sequence":"additional","affiliation":[]}],"member":"311","reference":[{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB1","author":"Rudin","year":"1983","unstructured":"\u2018From formal specification towards automated performance prediction\u2019, 3rd Int. Workshop on Protocol Specification, Testing and Verification, pp. 257-269, 1983."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB2","author":"Rudin","year":"1984","unstructured":"\u2018An improved algorithm for estimating protocol performance\u2019, 4th Int. Workshop on Protocol Specification, Testing and Verification, pp. 515-525, 1984."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB3","author":"Kritzinger","year":"1985","unstructured":"\u2018Analyzing the time efficiency of a communication protocol\u2019, 4th Int. Workshop on Protocol Specification, Testing and Verification, pp. 527-539, 1985."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB4","author":"Bochmann","year":"1986","unstructured":"and , \u2018Adding performance aspects to specification languages\u2019, IFIP Symp. on Protocol Specification, Testing and Verification VIII, pp. 19-31, 1986."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB5","author":"Nounou","year":"1984","unstructured":"and , \u2018Algebraic specification-based performance analysis of communication protocols\u2019, Protocol Specification, Testing and Verification, pp. 541-554, 1984."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB6","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"3142","author":"Molloy","year":"1982","journal-title":"IEEE Trans. Comput."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB7","author":"Lin","year":"1988","unstructured":"and , \u2018An integrated approach to verification and performance analysis of communication protocols\u2019, IFIP Symp. on Protocol Specification, Testing and Verification, pp. 125-139, 1988."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB8","doi-asserted-by":"crossref","DOI":"10.1109\/12.88469","volume":"40","author":"Heck","year":"1991","journal-title":"IEEE Trans. Comput."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB9","author":"Lundy","year":"1988","unstructured":"\u2018Systems of communication machines: a model for communication protocols\u2019. PhD Thesis, School of Information and Computer Science, Georgia Institute of Technology, Atlanta, GA 30332, July 1988."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB10","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1109\/26.221072","author":"Lundy","year":"1993","journal-title":"IEEE Trans. Commun."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB11","author":"Roger Chen","year":"1992","unstructured":"and , \u2018A queueing approach to the performance evaluation of DQDB\u2019, Proceedings IEEE INFOCOM, pp. 636-643, 1992."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB12","author":"Diaz","year":"1982","unstructured":"\u2018Modelling and analysis of communication and cooperation protocol using petri net based models\u2019, In Protocol Specification, Testing and Verification, 1982."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB13","author":"Razouk","year":"1984","unstructured":"and , \u2018Performance analysis using timed petri nets\u2019, 4th Int. Workshop on Protocol Specification, Testing and Verification, pp. 561-577, 1984."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB14","author":"Choudhry","year":"1998","unstructured":"\u2018Estimating performance of communication protocols from formal specifications\u2019, PhD Thesis, University of Maryland College Park Campus, Spring 1998."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB15","author":"Zuberek","year":"1980","unstructured":"\u2018Timed Petri nets and preliminary performance evaluation\u2019, 7th Ann. Symp. on Computer Architecture, pp. 88-96, 1980."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB16","author":"Metcalfe","unstructured":"and , \u2018Ethernet: distributed packet switching for local computer networks\u2019."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB17","first-page":"281","volume":"37","author":"Abramson","year":"1970","journal-title":"AFIPS Conf. Proc."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB18","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1109\/TCOM.1977.1093713","volume":"25","author":"Abramson","year":"1977","journal-title":"IEEE Trans. Commun."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB19","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1145\/359038.359044","volume":"23","author":"Shoch","year":"1990","journal-title":"Comm. ACM"},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB20","volume-title":"Design and Validation of Computer Protocols","author":"Holzmann","year":"1991","unstructured":"Design and Validation of Computer Protocols, Prentice-Hall, Englewood Cliffs, NJ, 1991."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB21","author":"Miller","year":"1993","unstructured":"and , \u2018Bounding the performance of FDDI\u2019, CESDIS Technical Report-TR 93-98, Jan. 1993."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB22","author":"Miller","year":"1993","unstructured":"and , \u2018DQDB performance and fairness as related to transmission capacity\u2019, CESDIS Technical Report-TR 93-106, August 1993."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB23","author":"Miller","year":"1994","unstructured":"and , \u2018Performance prediction of communication protocols using deterministic analysis\u2019, Proc. ISCA, Int. Conf. on Parallel and Distributed Computing Systems, Las Vegas, Nevada, pp. 194-199 Oct. 1994."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB24","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"Milner","year":"1980","unstructured":"A Calculus of Communicating Systems, Springer, Berlin, 1980."},{"key":"10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U-BIB25","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"Reed","year":"1988","journal-title":"Theoret. Comput. Sci."}],"container-title":["International Journal of Communication Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F(SICI)1099-1131(199909%2F12)12:5%2F6%3C325::AID-DAC414%3E3.0.CO;2-U","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/(SICI)1099-1131(199909\/12)12:5\/6%3C325::AID-DAC414%3E3.0.CO;2-U","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T07:17:30Z","timestamp":1625123850000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/(SICI)1099-1131(199909\/12)12:5\/6<325::AID-DAC414>3.0.CO;2-U"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,9]]},"references-count":25,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[1999,9]]}},"URL":"https:\/\/doi.org\/10.1002\/(sici)1099-1131(199909\/12)12:5\/6<325::aid-dac414>3.0.co;2-u","relation":{},"ISSN":["1074-5351","1099-1131"],"issn-type":[{"value":"1074-5351","type":"print"},{"value":"1099-1131","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,9]]}}}