Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting

DOI10.1007/11921240_21zbMath1168.68415OpenAlexW1502223602MaRDI QIDQ3525157

Roberto Montagna, Giorgio Delzanno

Publication date: 11 September 2008

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

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Reachability analysis of fragments of mobile ambients in AC term rewriting ⋮ On Reachability and Spatial Reachability in Fragments of BioAmbients

This page was built for publication: Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting