Reachability Analysis in Boxed Ambients-Reference-Cited by-同舟云学术

Reachability Analysis in Boxed Ambients

Published:2005 Issue: Volume: Page:143-159
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Busi Nadia,Zavattaro Gianluigi

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11560586_12.pdf

Reference11 articles.

1. Lecture Notes in Computer Science;I. Boneva,2003

2. Bugliesi, M., Castagna, G., Crafa, S.: Access Control for Mobile Agents: The Calculus of Boxed Ambients. ACM Transactions on Programming Languages and Systems 26(1), 57–124 (2004)

3. Bugliesi, M., Crafa, S., Merro, M., Sassone, V.: Communication and Mobility Control in Boxed Ambients. To appear in the Journal of Information & Computation

4. Busi, N., Zavattaro, G.: On the Expressive Power of Movement and Restriction in Pure Mobile Ambients. In: Theoretical Computer Science, vol. 322, pp. 477–515. Elsevier, Amsterdam (2004)

5. Lecture Notes in Computer Science;N. Busi,2005

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Deciding reachability problems in Turing-complete fragments of Mobile Ambients;Mathematical Structures in Computer Science;2009-12

2. Nadia Busi's publications;Mathematical Structures in Computer Science;2009-12

3. The κ-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages;Computational Methods in Systems Biology;2009

4. Reachability analysis of fragments of mobile ambients in AC term rewriting;Formal Aspects of Computing;2008-07

5. On Reachability and Spatial Reachability in Fragments of BioAmbients;Electronic Notes in Theoretical Computer Science;2007-07