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)

Full work available at URL https://doi.org/10.1007/11575467

zbMATH Keywords

abstract interpretationBioAmbients calculusMobile Ambients calculusstatic analysis

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)

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

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)