Control Flow Analysis for Brane Calculi (Q5179425): Difference between revisions

@@ Property / cites work @@
+A control flow analysis for Beta-binders with and without static compartments
+Normal rank
@@ Property / cites work @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+AN UNIVERSALITY RESULT FOR A (MEM)BRANE CALCULUS BASED ON MATE/DRIP OPERATIONS
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413203
@@ Property / cites work: Q4413203 / rank @@
+Normal rank
@@ Property / cites work @@
+An Analysis for Proving Temporal Properties of Biological Systems
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+COMPUTING WITH MEMBRANES (P SYSTEMS): A VARIANT
@@ Property / cites work: COMPUTING WITH MEMBRANES (P SYSTEMS): A VARIANT / rank @@
+Normal rank
@@ Property / cites work @@
+Pathway analysis for BioAmbients
@@ Property / cites work: Pathway analysis for BioAmbients / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / 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 @@
+Communication via Mobile Vesicles in Brane Calculi
+Normal rank