Programming Languages and Systems

DOI10.1007/11575467MaRDI QIDQ5493399zbMATH OpenFDO

Authors Roberta Gori, Francesca Levi

Publication date 20 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

abstract interpretationstatic analysisBioAmbients calculusMobile Ambients calculus

Mathematics Subject Classification ID

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

Recommendations

• An Analysis for Proving Temporal Properties of Biological Systems
• Abstract interpretation based verification of temporal properties for BioAmbients
• Static Analysis
• scientific article; zbMATH DE number 2182436
• A Global Occurrence Counting Analysis for Brane Calculi

Cited in

(11)

• Pathway analysis for BioAmbients
• Quantified abstract configurations of distributed systems
• An analysis for causal properties of membrane interactions
• Approximating probabilistic behaviors of biological systems using abstract interpretation
• An Analysis for Proving Temporal Properties of Biological Systems
• Abstract interpretation based verification of temporal properties for BioAmbients
• A Global Occurrence Counting Analysis for Brane Calculi
• Static Analysis
• scientific article; zbMATH DE number 2182436 (Why is no real title available?)
• Causal static analysis for brane calculi
• A static analysis for brane calculi providing global occurrence counting information

This page was built for publication: Programming Languages and Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5493399)