Programming Languages and Systems
From MaRDI portal
Publication:5316568
DOI10.1007/b107380zbMath1108.68539OpenAlexW4232919104MaRDI QIDQ5316568
Gianluigi Zavattaro, Nadia Busi
Publication date: 13 September 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b107380
Related Items (8)
Reachability problems in BioAmbients ⋮ Reachability analysis of fragments of mobile ambients in AC term rewriting ⋮ Deciding Reachability in Mobile Ambients with Name Restriction ⋮ Reachability Analysis in BioAmbients ⋮ Multiset rewriting for the verification of depth-bounded processes with name binding ⋮ On the Reachability Problem in P Systems with Mobile Membranes ⋮ On the Dynamics of PB Systems with Volatile Membranes ⋮ On Reachability and Spatial Reachability in Fragments of BioAmbients
This page was built for publication: Programming Languages and Systems