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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.12.104
+Normal rank
@@ Property / OpenAlex ID @@
+W2052321486
@@ Property / OpenAlex ID: W2052321486 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62046297
@@ Property / Wikidata QID: Q62046297 / rank @@
+Normal rank
@@ 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