Intuitive formal modelling of biological systems

Intuitive formal modelling of biological systems


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

₹ 4,396

Availability: Out of stock


Delivery :

5% Cashback on all Orders paid using MobiKwik Wallet T&C

Free Krispy Kreme Voucher on all Orders paid using UltraCash Wallet T&C
Product Out of Stock Subscription

(Notify me when this product is back 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
Country of ManufactureIndia
Product BrandLAP LAMBERT Academic Publishing
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-10-08
0 Review(s)