{"title":"Immune System Modeling and Analysis using CARMA","authors":"Daniela Paula Petrinca, E. Todoran","doi":"10.1109/ICCP.2018.8516596","DOIUrl":null,"url":null,"abstract":"CARMA(Collective Adaptive Resource-Sharing Markovian Agents) is a recently developed stochastic process algebra language which provides constructions for specifying the behavior of collective adaptive systems. By using CARMA and membrane computing patterns, in this paper we develop and analyze a model of the immune system response against virus attacks. By varying the rates of virus propagation,replication and destruction in our CARMA model, we investigate formal conditions for successful immune responses.","PeriodicalId":259007,"journal":{"name":"2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"51 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCP.2018.8516596","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
CARMA(Collective Adaptive Resource-Sharing Markovian Agents) is a recently developed stochastic process algebra language which provides constructions for specifying the behavior of collective adaptive systems. By using CARMA and membrane computing patterns, in this paper we develop and analyze a model of the immune system response against virus attacks. By varying the rates of virus propagation,replication and destruction in our CARMA model, we investigate formal conditions for successful immune responses.