Abstract
In this paper we investigate the connection between fragments of associative-commutative Term Rewriting and fragments of Mobile Ambients, a powerful model for mobile and distributed computations. The connection can be used to transfer decidability and undecidability results for important computational properties like reachability from one formalism to the other. Furthermore, it can be viewed as a vehicle to apply tools based on rewriting for the simulation and validation of specifications given in Mobile Ambients.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boneva, I., Talbot, J.-M.: When Ambients cannot be Opened? Theoretical Computer Science 333(1-2), 127–169 (2005)
Bugliesi, M., Castagna, G., Crafa, S.: Boxed Ambients. In: Kobayashi, N., Pierce, B.C. (eds.) TACS 2001. LNCS, vol. 2215, pp. 38–63. Springer, Heidelberg (2001)
Busi, N., Zavattaro, G.: Deciding Reachability in Mobile Ambients. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, pp. 248–262. Springer, Heidelberg (2005)
Busi, N., Zavattaro, G.: Deciding Reachability in Boxed Ambients. In: Proc. of ICTCS 2005, pp. 143–159 (2005)
Cardelli, L., Gordon, A.D.: Mobile Ambients. Theoretical Computer Science 240(1), 177–213 (2000)
Coquidé, J.-L., Dauchet, M., Gilleron, R., Vágvölgyi, S.: Bottom-Up Tree Pushdown Automata and Rewrite Systems. In: Proc. of RTA 1991, pp. 287–298 (1991)
Dauchet, M., Tison, S.: The Theory of Ground Rewrite Systems is Decidable. In: Proc. of LICS 1990, pp. 242–248 (1990)
Feuillade, G., Genet, T., Viet Triem Tong, V.: Reachability Analysis over Term Rewriting Systems. Theoretical Computer Science 330(3), 501–551 (2005)
Jacquemard, F.: Decidable Approximations of Term Rewriting Systems. In: Proc. RTA 1996, pp. 362–376 (1996)
Levi, F., Sangiorgi, D.: Mobile Safe Ambients. ACM Transactions on Programming Languages and Systems 25(1), 1–69 (2003)
Maffeis, S., Phillips, I.: On the Computational Strength of Pure Ambient Calculi. Theoretical Computer Science 330(3), 501–551 (2005)
Mayr, E.W.: An Algorithm for the General Petri Net Reachability Problem. SIAM Journal of Computing (1984)
Mayr, R., Rusinowitch, M.: Reachability is Decidable for Ground AC Rewrite Systems. In: Proc. of Infinity 1998 (1998)
Mayr, R.: Process Rewrite Systems. Information and Computation 156(1-2), 264–286 (2000)
Salomaa, K.: Deterministic Tree Pushdown Automata and Monadic Tree Rewriting Systems. Journal of Computer Systems Science 37(3), 367–394 (1988)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Delzanno, G., Montagna, R. (2006). Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. In: Barkaoui, K., Cavalcanti, A., Cerone, A. (eds) Theoretical Aspects of Computing - ICTAC 2006. ICTAC 2006. Lecture Notes in Computer Science, vol 4281. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11921240_21
Download citation
DOI: https://doi.org/10.1007/11921240_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-48815-6
Online ISBN: 978-3-540-48816-3
eBook Packages: Computer ScienceComputer Science (R0)