{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T09:17:16Z","timestamp":1648804636879},"reference-count":15,"publisher":"World Scientific Pub Co Pte Lt","issue":"09","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Bifurcation Chaos"],"published-print":{"date-parts":[[2010,9]]},"abstract":"<jats:p> New real-time applications frequently involve timing constraints related to accurate services from communication protocols. Concretely, real-time communication protocols utilize timers to implement these constraints between system event occurrences. In this context, the study of congestion control for Internet reliable multicast is at present an active research field related to real-time protocols. In this paper, the authors present an innovative real-time transport protocol named Scalable Reliable Multicast Stair Hybrid (SRMSH) as new hybrid multiple layer mechanism for multicast congestion control providing detection and recovery loss. This work is focused on formal specification of SRMSH approach using Communicating Real-Time State Machines as a formal method. Besides, SRMSH validation is presented within a formal proof framework in order to check the functional safety and liveness properties. As a result, authors outline a dynamical system framework in order to model behavior of their presented solution. <\/jats:p>","DOI":"10.1142\/s0218127410027519","type":"journal-article","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T05:30:22Z","timestamp":1287034222000},"page":"2965-2973","source":"Crossref","is-referenced-by-count":1,"title":["MULTICAST CONGESTION CONTROL SRMSH APPROACH USING COMMUNICATING REAL-TIME STATE MACHINES"],"prefix":"10.1142","volume":"20","author":[{"given":"O. M.","family":"BONASTRE","sequence":"first","affiliation":[{"name":"Operations Research Center, Miguel Hernandez University, Avda. de la Universidad, Elx 03202, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"NEVILLE","sequence":"additional","affiliation":[{"name":"Operations Research Center, Miguel Hernandez University, Avda. de la Universidad, Elx 03202, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C. E.","family":"PALAU","sequence":"additional","affiliation":[{"name":"Communications Department, Polytechnic University of Valencia, C\/Camino de Vera s\/n, Valencia 46022, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,5,2]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2002.5341329"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312207"},{"key":"rf3","volume-title":"Differential Equations","author":"Blanchard P.","year":"2005"},{"key":"rf7","first-page":"1528","volume":"20","author":"Byers J.","journal-title":"IEEE J-SAC, Special Issue on Network Support for Multicast Communication"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2002.801420"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1109\/90.650139"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1109\/65.819171"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1002\/0471648299"},{"key":"rf20","volume-title":"Real-Time Systems Specification, Verification and Analysis","author":"Mathai J.","year":"2001"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2003.5341336"},{"key":"rf24","doi-asserted-by":"publisher","DOI":"10.1109\/35.649333"},{"key":"rf28","first-page":"169","volume":"39","author":"Rubenstein D.","journal-title":"IEEE\/ACM Trans. Networking"},{"key":"rf31","doi-asserted-by":"publisher","DOI":"10.1007\/s00010-005-2813-7"},{"key":"rf32","doi-asserted-by":"publisher","DOI":"10.1007\/BF01667079"},{"key":"rf34","doi-asserted-by":"publisher","DOI":"10.1109\/65.923938"}],"container-title":["International Journal of Bifurcation and Chaos"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218127410027519","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T01:23:09Z","timestamp":1565140989000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218127410027519"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":15,"journal-issue":{"issue":"09","published-online":{"date-parts":[[2012,5,2]]},"published-print":{"date-parts":[[2010,9]]}},"alternative-id":["10.1142\/S0218127410027519"],"URL":"https:\/\/doi.org\/10.1142\/s0218127410027519","relation":{},"ISSN":["0218-1274","1793-6551"],"issn-type":[{"value":"0218-1274","type":"print"},{"value":"1793-6551","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,9]]}}}