{"title":"基于ACP的组播代数形式化建模——PIM密集模式和稀疏模式的研究","authors":"P. Roig, S. Alcaraz, K. Gilly","doi":"10.5220/0006398800570068","DOIUrl":null,"url":null,"abstract":"Abstract: Video streaming is becoming ever important regarding Internet traffic running on either fixed or mobile networks worldwide. A great stake of that traffic is transferred by means of multicast in order to optimise network resources and one of the most popular protocols aimed at multicast communications is called Protocol Independent Multicast (PIM). This paper focuses on building up some models for its most common types, this is, PIM Dense Mode and PIM Sparse Mode, by using manual algebraic derivations, following the Algebra of Communicating Processes (ACP) axioms. The purpose of such models is to achieve a simplified approach, yet as close to specifications as possible, to PIM dynamics for the different scenarios presented.","PeriodicalId":172337,"journal":{"name":"International Conference on Data Communication Networking","volume":"51 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Multicast Algebraic Formal Modelling using ACP - Study on PIM Dense Mode and Sparse Mode\",\"authors\":\"P. Roig, S. Alcaraz, K. Gilly\",\"doi\":\"10.5220/0006398800570068\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Abstract: Video streaming is becoming ever important regarding Internet traffic running on either fixed or mobile networks worldwide. A great stake of that traffic is transferred by means of multicast in order to optimise network resources and one of the most popular protocols aimed at multicast communications is called Protocol Independent Multicast (PIM). This paper focuses on building up some models for its most common types, this is, PIM Dense Mode and PIM Sparse Mode, by using manual algebraic derivations, following the Algebra of Communicating Processes (ACP) axioms. The purpose of such models is to achieve a simplified approach, yet as close to specifications as possible, to PIM dynamics for the different scenarios presented.\",\"PeriodicalId\":172337,\"journal\":{\"name\":\"International Conference on Data Communication Networking\",\"volume\":\"51 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Conference on Data Communication Networking\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5220/0006398800570068\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conference on Data Communication Networking","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5220/0006398800570068","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Multicast Algebraic Formal Modelling using ACP - Study on PIM Dense Mode and Sparse Mode
Abstract: Video streaming is becoming ever important regarding Internet traffic running on either fixed or mobile networks worldwide. A great stake of that traffic is transferred by means of multicast in order to optimise network resources and one of the most popular protocols aimed at multicast communications is called Protocol Independent Multicast (PIM). This paper focuses on building up some models for its most common types, this is, PIM Dense Mode and PIM Sparse Mode, by using manual algebraic derivations, following the Algebra of Communicating Processes (ACP) axioms. The purpose of such models is to achieve a simplified approach, yet as close to specifications as possible, to PIM dynamics for the different scenarios presented.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
