Foundational aspects of multiscale modeling of biological systems with process algebras
From MaRDI portal
Publication:418838
DOI10.1016/j.tcs.2011.12.058zbMath1238.68093OpenAlexW2075159089MaRDI QIDQ418838
Paolo Milazzo, Giulio Caravagna, Simone Tini, Andrea Maggiolo-Schettini, Roberto Barbuti
Publication date: 30 May 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.12.058
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)
Related Items (6)
An algorithm for the identification of components in biochemical pathways ⋮ Model Checking of Biological Systems ⋮ A process algebra framework for multi-scale modelling of biological systems ⋮ Compositional semantics and behavioural equivalences for reaction systems with restriction ⋮ Foundational aspects of multiscale modeling of biological systems with process algebras ⋮ Component identification in biochemical pathways
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Foundational aspects of multiscale modeling of biological systems with process algebras
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values
- Compositional semantics and behavioral equivalences for P systems
- Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
- Compositional semantics of spiking neural P systems
- A calculus of mobile processes. I
- A calculus of mobile processes. II
- A theory of higher order communicating systems
- The theory of interactive generalized semi-Markov processes
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- A pharmacologically based multiscale mathematical model of angiogenesis and its use in investigating the efficacy of a new cancer treatment strategy
- BioAmbients: an abstraction for biological compartments
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- An intermediate language for the stochastic simulation of biological systems
- On process rate semantics
- Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach
- A Language for Biochemical Systems: Design and Formal Specification
- AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING
- Rule-Based Modelling of Cellular Signalling
- Axiomatising Finite Concurrent Processes
- A Multiple Scale Model for Tumor Growth
- Spatial Calculus of Looping Sequences
- Process Algebra with Hooks for Models of Pattern Formation
- MODELLING THE RESPONSE OF VASCULAR TUMOURS TO CHEMOTHERAPY: A MULTISCALE APPROACH
- CONCUR 2005 – Concurrency Theory
This page was built for publication: Foundational aspects of multiscale modeling of biological systems with process algebras
