Static Analysis
From MaRDI portal
Publication:5466579
DOI10.1007/b99688zbMath1104.68420MaRDI 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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92C42: Systems biology, networks
Related Items
Control Flow Analysis for Brane Calculi, Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation, A Global Occurrence Counting Analysis for Brane Calculi, An analysis for causal properties of membrane interactions, A framework for security analysis of mobile wireless networks, Pathway analysis for BioAmbients, Abstract interpretation based verification of temporal properties for BioAmbients, Flow-sensitive type systems and the ambient calculus, Predictors for flat membrane systems, A monotone framework for CCS, Causal static analysis for brane calculi, A static analysis for brane calculi providing global occurrence counting information