Abstract interpretation based verification of temporal properties for BioAmbients (Q989287): Difference between revisions

@@ Property / cites work @@
+Q5472932
@@ Property / cites work: Q5472932 / rank @@
+Normal rank
@@ Property / cites work @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Bitonal membrane systems: interactions of biological membranes
+Normal rank
@@ Property / cites work @@
+A spatial logic for concurrency. I
@@ Property / cites work: A spatial logic for concurrency. I / rank @@
+Normal rank
@@ Property / cites work @@
+A spatial logic for concurrency. II
@@ Property / cites work: A spatial logic for concurrency. II / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling and querying biomolecular interaction networks
+Normal rank
@@ Property / cites work @@
+Model checking mobile ambients
@@ Property / cites work: Model checking mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Q2766538
@@ Property / cites work: Q2766538 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703725
@@ Property / cites work: Q2703725 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778710
@@ Property / cites work: Q4778710 / 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 @@
+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 @@
+Q4494378
@@ Property / cites work: Q4494378 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413201
@@ Property / cites work: Q4413201 / 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 @@
+Decidable Extensions of Hennessy-Milner Logic
@@ Property / cites work: Decidable Extensions of Hennessy-Milner Logic / 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 @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / 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 @@
+Validating firewalls using flow logics
@@ Property / cites work: Validating firewalls using flow logics / 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 @@
+Application of a stochastic name-passing calculus to representation and simulation of molecular processes
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank