Undecidability of Model Checking in Brane Logic

DOI10.1016/J.ENTCS.2008.10.025zbMath1277.68131OpenAlexW2121442433MaRDI QIDQ2864500

Giorgio Bacci, Marino Miculan

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.025

zbMATH Keywords

brane calculusspatial logicsbiological and bio-inspired computation

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• SLMC

Cites Work

• Unnamed Item
• Unnamed Item
• Measurable stochastics for Brane calculus
• Computational methods in systems biology. International conference, CMSB 2006, Trento, Italy, October 18--19, 2006. Proceedings
• Computational methods in systems biology. International conference CMSB 2004, Paris, France, May 26--28, 2004. Revised selected papers.
• Model checking mobile ambients
• Nominal logic, a first order theory of names and binding
• Decidable Extensions of Hennessy-Milner Logic
• Algebraic laws for nondeterminism and concurrency
• Extensionality and intensionality of the ambient logics
• A proof theory for generic judgments
• Foundations of Software Science and Computation Structures
• Computational Methods in Systems Biology
• Computational Methods in Systems Biology
• Recursively enumerable sets of positive integers and their decision problems

This page was built for publication: Undecidability of Model Checking in Brane Logic