Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

KES
2004
Springer

favoriteEmaildiscussreport

84views Information Technology» more KES 2004»

A Process Algebra Model of the Immune System

13 years 10 months ago

A Process Algebra Model of the Immune System

Download homepage.cem.itesm.mx

Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to understand general laws of immune system behaviour. This paper introduces a process algebra with which we can model the immune system and make this model subjected to formal veriﬁcation. We shall discuss how to use the model in order to formalise important properties of immune systems and then outline the sorts of mechanisms that are required to formally verify them.

Raul Monroy

Real-time Traffic

Immune System Behaviour | Immune System Response | Immune Systems | KES 2004 |

claim paper

Related Content

» Physical model of immune inspired computing

» The Immune Network System with Chaotic Behavior

» A Novel Immune Feedback Control Algorithm and Its Applications

» Computing the Algebraic Immunity Efficiently

» Detecting Anomalous Process Behaviour using Second Generation Artificial Immune Systems

» An Evolutionary Immune Network for Data Clustering

» Increasing the accuracy of a spamdetecting artificial immune system

» Highperformance biocomputing for simulating the spread of contagion over large contact net...

» HYPE Applied to the Modelling of Hybrid Biological Systems

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	KES
Authors	Raul Monroy

Comments (0)