Causal static analysis for brane calculi (Q2348028): 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.tcs.2015.03.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2090621806
@@ Property / OpenAlex ID: W2090621806 / rank @@
+Normal rank
@@ Property / cites work @@
+A control flow analysis for Beta-binders with and without static compartments
+Normal rank
@@ Property / cites work @@
+An analysis for causal properties of membrane interactions
+Normal rank
@@ Property / cites work @@
+A fully abstract semantics for causality in the π-calculus
+Normal rank
@@ Property / cites work @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / 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 @@
+Q4413203
@@ Property / cites work: Q4413203 / 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 @@
+A simple calculus for proteins and cells
@@ Property / cites work: A simple calculus for proteins and cells / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Pathway analysis for BioAmbients
@@ Property / cites work: Pathway analysis for BioAmbients / 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 @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2348028