The Attributed Pi-Calculus with Priorities (Q3068847): Difference between revisions

@@ Property / cites work @@
+On process rate semantics
@@ Property / cites work: On process rate semantics / 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 @@
+Rule-Based Modelling of Cellular Signalling
@@ Property / cites work: Rule-Based Modelling of Cellular Signalling / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Bigraphs
@@ Property / cites work: Stochastic Bigraphs / rank @@
+Normal rank
@@ Property / cites work @@
+A Stochastic Pi Calculus for Concurrent Objects
@@ Property / cites work: A Stochastic Pi Calculus for Concurrent Objects / 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 @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
+Normal rank
@@ Property / cites work @@
+Modeling biological systems in stochastic concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+Q4457838
@@ Property / cites work: Q4457838 / rank @@
+Normal rank
@@ Property / cites work @@
+A Core Calculus for a Comparative Analysis of Bio-inspired Calculi
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Extended pi-Calculi
@@ Property / cites work: Extended pi-Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling Static Biological Compartments with Beta-binders
+Normal rank
@@ Property / cites work @@
+BlenX Static and Dynamic Semantics
@@ Property / cites work: BlenX Static and Dynamic Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform confluence in concurrent computation
@@ Property / cites work: Uniform confluence in concurrent computation / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+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 @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank