Process calculi for biological processes
From MaRDI portal
Publication:6062000
DOI10.1007/s11047-018-9673-2zbMath1530.92069OpenAlexW2789919459MaRDI QIDQ6062000
Pierpaolo Degano, Moreno Falaschi, Linda Brodo, Diana Hermith, Andrea Bernini
Publication date: 30 November 2023
Published in: Natural Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11047-018-9673-2
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modeling membrane systems using colored stochastic Petri nets
- Processes in space
- Spatial P systems
- Strand algebras for DNA computing
- Introduction to concurrency theory. Transition systems and CCS
- 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
- Modeling biological systems in stochastic concurrent constraint programming
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices
- Synapses as stochastic concurrent systems
- Modeling in systems biology. The Petri net approach. With a foreword of Jens Georg Reich.
- A distributed operational semantics of CCS based on condition/event systems
- ``The arrival of the fittest: Toward a theory of biological organization
- Mobile ambients
- The origins of structural operational semantics
- Formal molecular biology
- BioAmbients: an abstraction for biological compartments
- A spatial logic for concurrency. I
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- A control flow analysis for Beta-binders with and without static compartments
- A process model of Rho GTP-binding proteins
- Causal static analysis for brane calculi
- A static analysis for brane calculi providing global occurrence counting information
- Process algebras for Petri nets. The alphabetization of distributed systems
- Hybrid semantics for Bio-PEPA
- On process rate semantics
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- Computational Modeling and Verification of Signaling Pathways in Cancer
- A TOUR OF REACTION SYSTEMS
- On the Expressiveness of the π-Calculus and the Mobile Ambients
- Handbook of Statistical Systems Biology
- BLENX MODELS OF α-SYNUCLEIN AND PARKIN KINETICS IN NEUROPATHOLOGY OF PARKINSON'S DISEASE
- Reaction Systems: A Model of Computation Inspired by Biochemistry
- Sliding Window Abstraction for Infinite Markov Chains
- Process Algebra Modelling Styles for Biomolecular Processes
- A Flat Process Calculus for Nested Membrane Interactions
- Modelling Biological Compartments in Bio-PEPA
- An Abstract Machine for the Stochastic Bioambient calculus
- An Analysis for Proving Temporal Properties of Biological Systems
- A Process Model of Actin Polymerisation
- Modeling Static Biological Compartments with Beta-binders
- The next 700 programming languages
- Stochastic approach to chemical kinetics
- Computational Methods in Systems Biology
- Brane Calculi
- Computational Methods in Systems Biology
- A Global Occurrence Counting Analysis for Brane Calculi
This page was built for publication: Process calculi for biological processes
