Stochastic simulation of multiple process calculi for biology (Q418846): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B05
@@ Property / Mathematics Subject Classification ID: 92B05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C42
@@ Property / Mathematics Subject Classification ID: 92C42 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6039204
@@ Property / zbMATH DE Number: 6039204 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+generic abstract machine
@@ Property / zbMATH Keywords: generic abstract machine / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+stochastic simulation
@@ Property / zbMATH Keywords: stochastic simulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Pi-calculus
@@ Property / zbMATH Keywords: Pi-calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+bioambient calculus
@@ Property / zbMATH Keywords: bioambient calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+kappa calculus
@@ Property / zbMATH Keywords: kappa calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+correctness
@@ Property / zbMATH Keywords: correctness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+implementation
@@ Property / zbMATH Keywords: implementation / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BlenX
@@ Property / describes a project that uses: BlenX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LBS
@@ Property / describes a project that uses: LBS / 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.12.057
+Normal rank
@@ Property / OpenAlex ID @@
+W2098825363
@@ Property / OpenAlex ID: W2098825363 / rank @@
+Normal rank
@@ Property / cites work @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+On process rate semantics
@@ Property / cites work: On process rate semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Rule-Based Modelling of Cellular Signalling
@@ Property / cites work: Rule-Based Modelling of Cellular Signalling / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation of Cellular Signalling Networks
+Normal rank
@@ Property / cites work @@
+Evolving BlenX programs to simulate the evolution of biological networks
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems
+Normal rank
@@ Property / cites work @@
+An Abstract Machine for the Stochastic Bioambient 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 @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:418846