Static Analysis
From MaRDI portal
Publication:5466579
DOI10.1007/b99688zbMath1104.68420OpenAlexW4291238798MaRDI QIDQ5466579
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson
Publication date: 24 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b99688
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)
Related Items
An analysis for causal properties of membrane interactions ⋮ Predictors for flat membrane systems ⋮ A framework for security analysis of mobile wireless networks ⋮ A static analysis for brane calculi providing global occurrence counting information ⋮ Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation ⋮ A monotone framework for CCS ⋮ Pathway analysis for BioAmbients ⋮ A Global Occurrence Counting Analysis for Brane Calculi ⋮ Control Flow Analysis for Brane Calculi ⋮ Abstract interpretation based verification of temporal properties for BioAmbients ⋮ Flow-sensitive type systems and the ambient calculus ⋮ Causal static analysis for brane calculi
This page was built for publication: Static Analysis