Communication and concurrency
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Communicating sequential processes
Communications of the ACM
Information Processing Letters
Membrane Computing: An Introduction
Membrane Computing: An Introduction
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Modelling in Molecular Biology
Modelling in Molecular Biology
Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Communications of the ACM - Self managed systems
Systems Biology: Properties of Reconstructed Networks
Systems Biology: Properties of Reconstructed Networks
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Transactions on Computational Systems Biology VII
Gene regulation in the pi calculus: simulating cooperativity at the lambda switch
Transactions on Computational Systems Biology VII
Transactions on Computational Systems Biology IX
| Hi-index | 0.00 |
The paper presents a new approach based on process calculi to systems modeling suitable for biological systems. The main characteristic of process calculi is a linguistic description level to define incrementally and compositionally executable models. The formalism is suitable to be exploited on the same system at different levels of abstractions connected through well defined formal rules. The abstraction principle that represents biological entities as interacting computational units is the basis of the computational thinking that can help biology to unravel the functions of the cell machinery.We discuss then the perspectives that process calculi can open to life sciences and the impact that this can in turn produce on computer science.