Spatial calculus of looping sequences (Q652132): Difference between revisions

@@ Property / describes a project that uses @@
+BioSPI
@@ Property / describes a project that uses: BioSPI / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Psim
@@ Property / describes a project that uses: Psim / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+P-Lingua
@@ Property / describes a project that uses: P-Lingua / 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.020
+Normal rank
@@ Property / OpenAlex ID @@
+W2009910020
@@ Property / OpenAlex ID: W2009910020 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling biochemical pathways through enhanced \(\pi\)-calculus
+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 @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+A Core Calculus for a Comparative Analysis of Bio-inspired Calculi
+Normal rank
@@ Property / cites work @@
+Q4552454
@@ Property / cites work: Q4552454 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank
@@ Property / cites work @@
+Membrane computing. An introduction.
@@ Property / cites work: Membrane computing. An introduction. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5486047
@@ Property / cites work: Q5486047 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
+Normal rank
@@ Property / cites work @@
+Stochastic Bigraphs
@@ Property / cites work: Stochastic Bigraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Psim: A Computational Platform for Metabolic P Systems
+Normal rank
@@ Property / cites work @@
+An Overview of P-Lingua 2.0
@@ Property / cites work: An Overview of P-Lingua 2.0 / rank @@
+Normal rank
@@ Property / cites work @@
+A Spatial Extension to the π Calculus
@@ Property / cites work: A Spatial Extension to the π Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Processes in Space
@@ Property / cites work: Processes in Space / rank @@
+Normal rank
@@ Property / cites work @@
+A cellular automata model for cell differentiation
+Normal rank
@@ Property / cites work @@
+Mathematical biology. Vol. 1: An introduction.
@@ Property / cites work: Mathematical biology. Vol. 1: An introduction. / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical biology. Vol. 2: Spatial models and biomedical applications.
+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 @@
+A mathematical model for quorum sensing in \textit{Pseudomonas aeruginosa}
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic biological modelling in the presence of multiple compartments
+Normal rank
@@ Property / cites work @@
+Computing with membranes
@@ Property / cites work: Computing with membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations in calculi modelling membranes
@@ Property / cites work: Bisimulations in calculi modelling membranes / rank @@
+Normal rank