Programming Languages and Systems
From MaRDI portal
Publication:5493399
DOI10.1007/11575467zbMath1159.68368MaRDI QIDQ5493399
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Related Items
An analysis for causal properties of membrane interactions ⋮ A static analysis for brane calculi providing global occurrence counting information ⋮ Quantified abstract configurations of distributed systems ⋮ Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation ⋮ A Global Occurrence Counting Analysis for Brane Calculi ⋮ Abstract interpretation based verification of temporal properties for BioAmbients ⋮ Causal static analysis for brane calculi