Home | Search | Help  
Home Page Università di Genova

Technical Report Details


Date 14-10-2005
Number DISI-TR-05-15
Title On the Reachability Problem for Fragments of Mobile Ambients with Open and Restriction
Authors Giorgio Delzanno, Roberto Montagna
Bibtex Entry
E-mail montagna@disi.unige.it
Link ftp://ftp.disi.unige.it/person/MontagnaR/Articles/DISI-TR-05-15.pdf
Abstract We investigate the reachability problem for fragments of the Mobile Ambients with name restriction and the open capability. Both name restriction and open are important and powerful programming abstractions for modeling realistic models of distributed computation. In the present paper we will prove that the reachability problem is decidable in an open-free fragment of pure Mobile Ambients with name restriction and a weak reduction semantics for replication. Furthermore, we will prove that reachability remains decidable in the fragment of pure Mobile Ambients with weak reduction for replication in which we allow a limited use of the open capability. Our work extends the result on the decidability of reachability for open-free public Mobile Ambients with weak reduction recently proved by Boneva and Talbot.
Back to Technical Reports