A static analysis for brane calculi providing global occurrence counting information (Q2405890): Difference between revisions

@@ Property / OpenAlex ID @@
+W2738758413
@@ Property / OpenAlex ID: W2738758413 / rank @@
+Normal rank
@@ Property / cites work @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Communication via Mobile Vesicles in Brane Calculi
+Normal rank
@@ Property / cites work @@
+A control flow analysis for Beta-binders with and without static compartments
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+An analysis for causal properties of membrane interactions
+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 @@
+Pathway analysis for BioAmbients
@@ Property / cites work: Pathway analysis for BioAmbients / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+An Analysis for Proving Temporal Properties of Biological Systems
+Normal rank
@@ Property / cites work @@
+Abstract interpretation based verification of temporal properties for BioAmbients
+Normal rank
@@ Property / cites work @@
+Causal static analysis for brane calculi
@@ Property / cites work: Causal static analysis for brane calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Investigating dynamic causalities in reaction systems
+Normal rank
@@ Property / cites work @@
+Specialized Predictor for Reaction Systems with Context Properties
+Normal rank
@@ Property / cites work @@
+Q4778710
@@ Property / cites work: Q4778710 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation of mobile ambients.
@@ Property / cites work: Abstract interpretation of mobile ambients. / rank @@
+Normal rank
@@ Property / cites work @@
+On abstract interpretation of mobile ambients
@@ Property / cites work: On abstract interpretation of mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Shape analysis for mobile ambients
@@ Property / cites work: Shape analysis for mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722053
@@ Property / cites work: Q2722053 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703725
@@ Property / cites work: Q2703725 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation of mobile systems
@@ Property / cites work: Abstract interpretation of mobile systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Global Occurrence Counting Analysis for Brane Calculi
+Normal rank