A semantic equivalence for Bio-PEPA based on discretisation of continuous values (Q533358): Difference between revisions

@@ Property / describes a project that uses @@
+Bio-PEPA
@@ Property / describes a project that uses: Bio-PEPA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2011.01.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2127900144
@@ Property / OpenAlex ID: W2127900144 / rank @@
+Normal rank
@@ Property / cites work @@
+Transactions on Computational Systems Biology IV
@@ Property / cites work: Transactions on Computational Systems Biology IV / rank @@
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank
@@ Property / cites work @@
+Application of a stochastic name-passing calculus to representation and simulation of molecular processes
+Normal rank
@@ Property / cites work @@
+Computational Methods in Systems Biology
@@ Property / cites work: Computational Methods in Systems Biology / rank @@
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+Bio-PEPA: A framework for the modelling and analysis of biological systems
+Normal rank
@@ Property / cites work @@
+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
+Normal rank
@@ Property / cites work @@
+Hybrid dynamics of stochastic programs
@@ Property / cites work: Hybrid dynamics of stochastic programs / rank @@
+Normal rank
@@ Property / cites work @@
+HYPE Applied to the Modelling of Hybrid Biological Systems
+Normal rank
@@ Property / cites work @@
+Modelling Biological Compartments in Bio-PEPA
@@ Property / cites work: Modelling Biological Compartments in Bio-PEPA / rank @@
+Normal rank
@@ Property / cites work @@
+Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra Modelling Styles for Biomolecular Processes
+Normal rank
@@ Property / cites work @@
+A simple calculus for proteins and cells
@@ Property / cites work: A simple calculus for proteins and cells / rank @@
+Normal rank
@@ Property / cites work @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations in calculi modelling membranes
@@ Property / cites work: Bisimulations in calculi modelling membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalences for a biological process algebra
@@ Property / cites work: Equivalences for a biological process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:533358