Typed stochastic semantics for the calculus of looping sequences (Q418845): Difference between revisions

@@ Property / cites work @@
+Q5486047
@@ Property / cites work: Q5486047 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation Congruences in the Calculus of Looping Sequences
+Normal rank
@@ Property / cites work @@
+Bisimulations in calculi modelling membranes
@@ Property / cites work: Bisimulations in calculi modelling membranes / 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 @@
+Multi-level modelling via stochastic multi-level multiset rewriting
+Normal rank
@@ Property / cites work @@
+Q5290928
@@ Property / cites work: Q5290928 / rank @@
+Normal rank
@@ Property / cites work @@
+Type Disciplines for Analysing Biologically Relevant Properties
+Normal rank
@@ Property / cites work @@
+Q5146651
@@ Property / cites work: Q5146651 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerated type semantics for the calculus of looping sequences
+Normal rank
@@ Property / cites work @@
+Q4552454
@@ Property / cites work: Q4552454 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling biochemical pathways through enhanced \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling and querying biomolecular interaction networks
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+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 @@
+Membrane computing. An introduction.
@@ Property / cites work: Membrane computing. An introduction. / rank @@
+Normal rank
@@ Property / cites work @@
+Membrane Computing
@@ Property / cites work: Membrane Computing / rank @@
+Normal rank
@@ Property / cites work @@
+DYNAMICAL PROBABILISTIC P SYSTEMS
@@ Property / cites work: DYNAMICAL PROBABILISTIC P SYSTEMS / 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 @@
+Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch
+Normal rank
@@ Property / cites work @@
+A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and types for systems biology
+Normal rank