Modelling biochemical pathways through enhanced \(\pi\)-calculus (Q1884867): Difference between revisions

@@ Property / cites work @@
+Names of the \(\pi\)-calculus agents handled locally
+Normal rank
@@ Property / cites work @@
+Q4413231
@@ Property / cites work: Q4413231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413203
@@ Property / cites work: Q4413203 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417901
@@ Property / cites work: Q4417901 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-interleaving semantics for mobile processes
@@ Property / cites work: Non-interleaving semantics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413247
@@ Property / cites work: Q4413247 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413241
@@ Property / cites work: Q4413241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Language-based performance prediction for distributed and mobile systems
+Normal rank
@@ Property / cites work @@
+Application of a stochastic name-passing calculus to representation and simulation of molecular processes
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank