Process calculi for biological processes
From MaRDI portal
Cites work
- ``The arrival of the fittest: Toward a theory of biological organization
- A control flow analysis for Beta-binders with and without static compartments
- A distributed operational semantics of CCS based on condition/event systems
- A flat process calculus for nested membrane interactions
- A Global Occurrence Counting Analysis for Brane Calculi
- A process model of actin polymerisation
- A process model of Rho GTP-binding proteins
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- A spatial logic for concurrency. I
- A static analysis for brane calculi providing global occurrence counting information
- A tour of reaction systems
- An abstract machine for the stochastic bioambient calculus
- An Analysis for Proving Temporal Properties of Biological Systems
- An introduction to systems biology. Design principles of biological circuits.
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- BioAmbients: an abstraction for biological compartments
- BLENX MODELS OF α-SYNUCLEIN AND PARKIN KINETICS IN NEUROPATHOLOGY OF PARKINSON'S DISEASE
- Brane Calculi
- Causal static analysis for brane calculi
- Computational Methods in Systems Biology
- Computational Methods in Systems Biology
- Computational modeling and verification of signaling pathways in cancer
- 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
- Formal molecular biology
- Handbook of statistical systems biology.
- scientific article; zbMATH DE number 7020138 (Why is no real title available?)
- Hybrid semantics for Bio-PEPA
- Introduction to concurrency theory. Transition systems and CCS
- Mobile ambients
- Modeling biological systems in stochastic concurrent constraint programming
- Modeling in systems biology. The Petri net approach. With a foreword of Jens Georg Reich.
- Modeling membrane systems using colored stochastic Petri nets
- Modeling Static Biological Compartments with Beta-binders
- Modelling biological compartments in bio-PEPA
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices
- On process rate semantics
- On the expressiveness of the -calculus and the mobile ambients
- Process Algebra Modelling Styles for Biomolecular Processes
- Process algebras for Petri nets. The alphabetization of distributed systems
- Processes in space
- Reaction systems
- Reaction Systems: A Model of Computation Inspired by Biochemistry
- Sliding Window Abstraction for Infinite Markov Chains
- Spatial P systems
- Stochastic approach to chemical kinetics
- Strand algebras for DNA computing
- Synapses as stochastic concurrent systems
- The -calculus: A theory of mobile processes
- The next 700 programming languages
- The origins of structural operational semantics
This page was built for publication: Process calculi for biological processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6062000)
