Foundational aspects of multiscale modeling of biological systems with process algebras

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

zbMATH Keywords

process algebrastructural operational semanticsbisimulationsmultiscale modeling

Mathematics Subject Classification ID

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

• Bio-PEPA
• LBS

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