Call Us 080-41656200 (Mon-Sat: 10AM-8PM)
Free Shipping above Rs. 1499
Cash On Delivery*

Intuitive formal modelling of biological systems

 

Marketed By :  LAP LAMBERT Academic Publishing   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days

 

Check Your Delivery Options

 
Rs. 4,396

Availability: In stock

 
  • Product Description
 

Like distributed systems of computers, biological systems are made of many interacting concurrent entities. Because of this similarity, the application of techniques coming from concurrency theory to the modelling of biological systems has become increasingly popular in recent years. One of the major challenges in this context is the definition of suitable modelling languages that are formal and executable but also easy to understand by non-computer scientists, together with the development of user friendly tools for modelling, analysis and simulation of biological systems. In this book we present a high level textual modelling language (called Narrative Language), its automatic translation into a formal language belonging to the family of process algebras (called Beta-binders), and the definition of rules to infer causal and spatial dependencies between model reactions. The approach is illustrated on a model of the widely studied Gp130/JAK/STAT signalling pathway. This work is a step towards the definition of a framework which allows scientists to easily describe biological systems and automatically perform simulation and formal analysis of models.

Product Specifications
SKU :COC72378
AuthorMaria Luisa Guerriero
LanguageEnglish
BindingPaperback
Number of Pages152
Publishing Year2011-05-24T00:00:00.000
ISBN978-3838362694
Edition1 st
Book TypeComputer networking & communications
Country of ManufactureIndia
Product BrandLAP LAMBERT Academic Publishing
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-10-08 00:00:00