Reachability analysis in BioAmbients

MaRDI QIDQ3005243zbMATH OpenFDO

Authors Gianluigi Zavattaro

Publication date 7 June 2011

zbMATH Keywords

\(\pi\)-calculusBioAmbientsdescription of biological systemsmobile ambientsreachability problem

Mathematics Subject Classification ID

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

Recommendations

• Reachability analysis in BioAmbients
• Theoretical Computer Science
• Programming Languages and Systems
• Reachability problems in BioAmbients
• Deciding reachability in mobile ambients with name restriction

Cited in

(6)

• On reachability and spatial reachability in fragments of BioAmbients
• Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting
• Reachability problems in BioAmbients
• Reachability analysis in BioAmbients
• Reachability analysis of fragments of mobile ambients in AC term rewriting
• Abstract interpretation based verification of temporal properties for BioAmbients

This page was built for publication: Reachability analysis in BioAmbients

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