Programming Languages and Systems

DOI10.1007/11575467zbMATH Open1159.68368MaRDI QIDQ5493399FDOQ5493399

Authors: Roberta Gori, Francesca Levi 

Publication date: 20 October 2006

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

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

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)

Cited In (11)

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

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)