Undecidability of Model Checking in Brane Logic (Q2864500): 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.10.025
+Normal rank
@@ Property / OpenAlex ID @@
+W2121442433
@@ Property / OpenAlex ID: W2121442433 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Model checking mobile ambients
@@ Property / cites work: Model checking mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766526
@@ Property / cites work: Q2766526 / 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 @@
+Computational methods in systems biology. International conference CMSB 2004, Paris, France, May 26--28, 2004. Revised selected papers.
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / 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 @@
+Measurable stochastics for Brane calculus
@@ Property / cites work: Measurable stochastics for Brane calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A proof theory for generic judgments
@@ Property / cites work: A proof theory for generic judgments / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal logic, a first order theory of names and binding
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Computational methods in systems biology. International conference, CMSB 2006, Trento, Italy, October 18--19, 2006. Proceedings
+Normal rank
@@ Property / cites work @@
+Computational Methods in Systems Biology
@@ Property / cites work: Computational Methods in Systems Biology / rank @@
+Normal rank
@@ Property / cites work @@
+Extensionality and intensionality of the ambient logics
+Normal rank
@@ Property / cites work @@
+Q5797034
@@ Property / cites work: Q5797034 / rank @@
+Normal rank