Verification of spatial and temporal modalities in biochemical systems (Q2520667): Difference between revisions

@@ Property / describes a project that uses @@
+Bio-PEPA
@@ Property / describes a project that uses: Bio-PEPA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BioNetGen
@@ Property / describes a project that uses: BioNetGen / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317775
@@ Property / Wikidata QID: Q113317775 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2015.06.009
+Normal rank
@@ Property / OpenAlex ID @@
+W1874387408
@@ Property / OpenAlex ID: W1874387408 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Q4413821
@@ Property / cites work: Q4413821 / rank @@
+Normal rank
@@ Property / cites work @@
+A control flow analysis for Beta-binders with and without static compartments
+Normal rank
@@ Property / cites work @@
+Modeling biological systems in stochastic concurrent constraint programming
+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 @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / 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 @@
+Q2968415
@@ Property / cites work: Q2968415 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of spatial and temporal modalities in biochemical systems
+Normal rank
@@ Property / cites work @@
+Transactions on Computational Systems Biology XII. Special issue on modeling methodologies
+Normal rank
@@ Property / cites work @@
+Modelling Biological Compartments in Bio-PEPA
@@ Property / cites work: Modelling Biological Compartments in Bio-PEPA / rank @@
+Normal rank
@@ Property / cites work @@
+Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
+Normal rank
@@ Property / cites work @@
+Q4282602
@@ Property / cites work: Q4282602 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear concurrent constraint programming: Operational and phase semantics
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Modeling and Verification of Signaling Pathways in Cancer
+Normal rank
@@ Property / cites work @@
+An Analysis for Proving Temporal Properties of Biological Systems
+Normal rank
@@ Property / cites work @@
+Modeling Static Biological Compartments with Beta-binders
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150207
@@ Property / cites work: Q3150207 / rank @@
+Normal rank
@@ Property / cites work @@
+A General Proof System for Modalities in Concurrent Constraint Programming
+Normal rank
@@ Property / cites work @@
+Dynamic spaces in concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+Timed $$\pi $$-Calculus
@@ Property / cites work: Timed $$\pi $$-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
+Normal rank