The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling

No abstract is available for this paper.

• Publication year

  2008

• Venue

  Computational Methods in Systems Biology

• Publication date

  2008-10-12

• Fields of study

  Biology, Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-540-88562-7_11
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Practical Approach to Verification of Mobile Systems Using Net Unfoldings

  2008cited by this paper
• Probabilistic model checking of complex biological pathways

  2008cited by this paper
• Biological robustness

  2008cited by this paper
• A Formal and Integrated Framework to Simulate Evolution of Biological Pathways

  2007cited by this paper
• An allosteric model of circadian KaiC phosphorylation

  2007cited by this paper
• On the Analysis of Numerical Data Time Series in Temporal Logic

  2007cited by this paper
• An allosteric model for circadian KaiC phosphorylation - Supporting Information

  2007cited by this paper
• Signal transduction networks: topology, response and biochemical processes.

  2006cited by this paper
• Connecting process algebras and differential equations for Systems Biology

  2006cited by this paper
• Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA

  2006cited by this paper
• Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods

  2006cited by this paper
• No Transcription-Translation Feedback in Circadian Rhythm of KaiC Phosphorylation

  2005cited by this paper
• Robustness and Evolvability in Living Systems

  2005cited by this paper
• Systems biology - dynamic pathway modeling

  2005cited by this paper
• Automatically deriving ODEs from process algebra models of signalling pathways

  2005cited by this paper
• Modeling and querying biomolecular interaction networks

  2004cited by this paper
• BioAmbients: an abstraction for biological compartments

  2004cited by this paper
• Cancer as a robust system: implications for anticancer therapy

  2004cited by this paper
• A structural approach to operational semantics

  2004cited by this paper
• Model Checking Biological Systems Described Using Ambient Calculus

  2004cited by this paper
• Beta Binders for Biological Interactions

  2004cited by this paper
• Modeling network dynamics

  2003cited by this paper
• Haskell 98 language and libraries : the revised report

  2003cited by this paper
• PRISM: Probabilistic Symbolic Model Checker

  2002cited by this paper
• Cellular abstractions: Cells as computation

  2002influential reference
• Gnu Octave Manual

  2002cited by this paper
• Foundations of systems biology

  2001cited by this paper
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes

  2001cited by this paper
• The topology of the possible: formal spaces underlying patterns of evolutionary change.

  2001cited by this paper
• Handbook of Process Algebra

  2001cited by this paper
• Communicating and Mobile Systems: the π-calculus,

  2000cited by this paper
• Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra

  2000cited by this paper
• The chemical Langevin equation

  2000cited by this paper
• Communicating and mobile systems - the Pi-calculus

  1999cited by this paper
• A Process Algebra for Hybrid Systems

  1999cited by this paper
• Expression of a gene cluster kaiABC as a circadian feedback process in cyanobacteria.

  1998cited by this paper
• The cyanobacterial circadian system: a clock apart.

  1998cited by this paper
• A compositional approach to performance modelling

  1996cited by this paper
• Hybrid I/O automata

  1995cited by this paper
• From sequences to shapes and back: a case study in RNA secondary structures

  1994cited by this paper
• The Polyadic π-Calculus: a Tutorial

  1993cited by this paper
• Network theory

  1964cited by this paper
• Exact Stochastic Simulation of Coupled Chemical Reactions

  year unknowncited by this paper
• Introduction to the calculus

  year unknowncited by this paper
• Introduction to the Calculus

  year unknowncited by this paper

• Temporal Ensemble Logic

  2024cites this paper
• Modelling Patterns of Gene Regulation in the bond-calculus

  2020cites this paper
• Computational Verification of Large Logical Models—Application to the Prediction of T Cell Response to Checkpoint Inhibitors

  2020cites this paper
• Deciphering and modelling the TGF-β signalling interplays specifying the dorsal-ventral axis of the sea urchin embryo

  2020cites this paper
• Systematic evaluation of parameters for genome-scale metabolic models of cultured mammalian cells

  2020cites this paper
• Stochastic modeling reveals kinetic heterogeneity in post-replication DNA methylation

  2019cites this paper
• A computational framework for a Lyapunov-enabled analysis of biochemical reaction networks

  2019cites this paper
• The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems

  2019cites this paper
• Inference of Gene Regulatory Network Uncovers the Linkage between Circadian Clock and Crassulacean Acid Metabolism in Kalanchoë fedtschenkoi

  2019cites this paper
• A General Overview of Formal Languages for Individual-Based Modelling of Ecosystems

  2019cites this paper
• Unfolding of Parametric Boolean Networks

  2018cites this paper
• The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics

  2018influential citation
• Coupled Reaction Networks for Noise Suppression

  2018cites this paper
• Smart computational exploration of stochastic gene regulatory network models using human-in-the-loop semi-supervised learning

  2018cites this paper
• Explorer A logic of behaviour in context

  2017cites this paper
• A More Sensitive Context

  2017influential citation
• Language-based Abstractions for Dynamical Systems

  2017cites this paper
• FALCON: a toolbox for the fast contextualization of logical networks

  2017cites this paper
• Membrane automata for modeling biomolecular processes

  2017cites this paper
• Design Automation in Synthetic Biology.

  2017cites this paper
• Approximation and inference methods for stochastic biochemical kinetics—a tutorial review

  2016cites this paper
• Symbolic computation of differential equivalences

  2016cites this paper
• Defining complex rule-based models in space and over time

  2015cites this paper
• Complementing ODE-Based System Analysis Using Boolean Networks Derived from an Euler-Like Transformation

  2015cites this paper
• Spatio-temporal logic for the analysis of biochemical models

  2015influential citation
• Double and multiple knockout simulations for genome-scale metabolic network reconstructions

  2015cites this paper
• Supporting Performance Awareness in Autonomous Ensembles

  2015cites this paper
• Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic

  2015cites this paper
• A High-Level Language for Rule-Based Modelling

  2015cites this paper
• Mitochondrial fusion through membrane automata.

  2015cites this paper
• A unified framework for differential aggregations in Markovian process algebra

  2015cites this paper
• Computing Biological Model Parameters by Parallel Statistical Model Checking

  2015cites this paper
• Simulation of Complex Biochemical Pathways in 3D Process Space via Heterogeneous Computing Platform: Preliminary Results

  2014cites this paper
• Analyzing and Synthesizing Genomic Logic Functions

  2014cites this paper
• Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock

  2014cites this paper
• Data-Driven Statistical Learning of Temporal Logic Properties

  2014cites this paper
• Using Process Algebra to Model Radiation Induced Bystander Effects

  2014cites this paper
• Perturbation Analysis in Verification of Discrete-Time Markov Chains

  2014cites this paper
• Differential Ordinary Lumpability in Markovian Process Algebra

  2014cites this paper
• Automated Capacity Planning for PEPA Models

  2014cites this paper
• A Formalism for Stochastic Adaptive Systems

  2014cites this paper
• External Interactions on Hybrid Models of Biological Systems

  2014cites this paper
• Three-dimensional histology: tools and application to quantitative assessment of cell-type distribution in rabbit heart

  2014cites this paper
• Attractor Equivalence: An Observational Semantics for Reaction Networks

  2014cites this paper
• Statistically Sound Verification and Optimization for Complex Systems

  2014cites this paper
• Research Challenges in Modelling Ecosystems

  2014cites this paper
• A Petri-Net-Based Framework for Biomodel Engineering

  2014cites this paper
• On Approximating the Stochastic Behaviour of Markovian Process Algebra Models

  2014cites this paper
• Accelerated Simulation of P Systems on the GPU: A Survey

  2014cites this paper
• Characterization of Reachable Attractors Using Petri Net Unfoldings

  2014cites this paper
• Chemical Production and Molecular Computing in Addressable Reaction Compartments

  2014cites this paper
• Automatic Verification of Autonomous Robot Missions

  2014cites this paper
• Monitoring Systems with Extended Live Sequence Charts

  2014cites this paper
• Model Integration and Crosstalk Analysis of Logical Regulatory Networks

  2014cites this paper
• Petri Nets Are a Biologist's Best Friend

  2014cites this paper
• Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions

  2014cites this paper
• Network Based Simulation on HPC for Translational Medicine: an Application to Anticoagulation

  2014cites this paper
• A logic of behaviour in context

  2014cites this paper
• An LTL Model Checking Approach for Biological Parameter Inference

  2014cites this paper
• Finding Instability in Biological Models

  2014cites this paper
• On the Implementation of Quantitative Model Refinement

  2014cites this paper
• Reconstruction of 3-dimensional histology volume and its application to study mouse mammary glands.

  2014cites this paper
• Parameterized Verification and Model Checking for Distributed Broadcast Protocols

  2014cites this paper
• Model Reproducibility: Overview

  2014cites this paper
• Formal Analysis of the Wnt/β-catenin through Statistical Model Checking

  2014cites this paper
• Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)

  2014cites this paper
• Abstract Modelling of Tethered DNA Circuits

  2014cites this paper
• Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices

  2014cites this paper
• 50 Shades of Rule Composition - From Chemical Reactions to Higher Levels of Abstraction

  2014cites this paper
• A Partial-differential Approximation for Spatial Stochastic Process Algebra

  2014cites this paper
• Hybrid semantics for Bio-PEPA

  2014cites this paper
• ASP-G: an ASP-based method for finding attractors in genetic regulatory networks

  2014cites this paper
• Programming chemistry in DNA-addressable bioreactors

  2014cites this paper
• The Propagation Approach for Computing Biochemical Reaction Networks

  2013cites this paper
• Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models

  2013cites this paper
• A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na + /K + -ATPase Complex

  2013cites this paper
• MetaBayes: Bayesian Meta-Interpretative Learning Using Higher-Order Stochastic Refinement

  2013cites this paper
• On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models

  2013cites this paper
• Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition

  2013cites this paper
• Stochastic Modelling of the Kai-based Circadian Clock

  2013cites this paper
• Efficient Robust Monitoring for STL

  2013cites this paper
• Model Checking of Biological Systems

  2013cites this paper
• On Circuit Functionality in Boolean Networks

  2013cites this paper
• Net-Based Analysis of Event Processing Networks - The Fast Flower Delivery Case

  2013cites this paper
• Model Checking for Verification in UAV Cooperative Control Applications

  2013cites this paper
• Inferring Gene Networks from Gene Expression Data Using Dynamic Bayesian Network with Different Scoring Metric Approaches

  2013cites this paper
• Bio-Logics: Logical Analysis of Bioregulatory Networks

  2013cites this paper
• Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation

  2013cites this paper
• Structure, function, and behaviour of computational models in systems biology

  2013cites this paper
• Model Checking Markov Population Models by Central Limit Approximation

  2013cites this paper
• Empirical Study of Computational Intelligence Strategies for Biochemical Systems Modelling

  2013cites this paper
• Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking

  2013cites this paper
• Modelling Gene Networks by a Dynamic Bayesian Network-Based Model with Time Lag Estimation

  2013cites this paper
• Constraint Programming in Community-Based Gene Regulatory Network Inference

  2013cites this paper
• Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking

  2013cites this paper
• An Approximate Execution of Rule-Based Multi-level Models

  2013cites this paper
• Using Maptrees to Characterize Topological Change

  2013cites this paper
• A Calculus of Chemical Systems

  2013cites this paper
• Mobile Membranes: Computability and Complexity

  2013cites this paper
• Active Membranes, Proteins on Membranes, Tissue P Systems: Complexity-Related Issues and Challenges

  2013cites this paper