Abstract interpretation based verification of temporal properties for BioAmbients

DOI10.1016/j.ic.2010.03.004zbMath1205.68244OpenAlexW2041114506MaRDI QIDQ989287

Roberta Gori, Francesca Levi

Publication date: 19 August 2010

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2010.03.004

zbMATH Keywords

abstract interpretationMobile Ambients and BioAmbients calculusverification of temporal properties

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

An analysis for causal properties of membrane interactions ⋮ Predictors for flat membrane systems ⋮ Characterization and computation of ancestors in reaction systems ⋮ A static analysis for brane calculi providing global occurrence counting information ⋮ Computing preimages and ancestors in reaction systems ⋮ Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems ⋮ Generalized contexts for reaction systems: definition and study of dynamic causalities ⋮ Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks ⋮ A Global Occurrence Counting Analysis for Brane Calculi ⋮ Causal static analysis for brane calculi

Uses Software

• PRISM
• SLMC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pathway analysis for BioAmbients
• Bitonal membrane systems: interactions of biological membranes
• A calculus of mobile processes. II
• Mobile ambients
• Validating firewalls using flow logics
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Abstract interpretation of mobile systems
• A spatial logic for concurrency. II
• Modeling and querying biomolecular interaction networks
• BioAmbients: an abstraction for biological compartments
• Model checking mobile ambients
• A spatial logic for concurrency. I
• On abstract interpretation of mobile ambients
• Decidable Extensions of Hennessy-Milner Logic
• Abstract interpretation and application to logic programs
• Shape analysis for mobile ambients
• Systematic design of program transformation frameworks by abstract interpretation
• An Analysis for Proving Temporal Properties of Biological Systems
• Static Analysis
• Programming Languages and Systems
• Programming Languages and Systems
• Brane Calculi
• Computational Methods in Systems Biology
• Computational Methods in Systems Biology