Deriving structural labelled transitions for mobile ambients-Reference-Cited by-同舟云学术

Deriving structural labelled transitions for mobile ambients

Published:2010-10 Issue:10 Volume:208 Page:1221-1242
ISSN:0890-5401
Container-title:Information and Computation
language:en
Short-container-title:Information and Computation

Author:

Rathke Julian,Sobociński Pawel

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference33 articles.

1. On bisimulations for the asynchronous pi-calculus;Amadio;Theor. Comput. Sci.,1998

2. Algebra of communicating processes with abstraction;Bergstra;Theor. Comput. Sci.,1985

3. F. Bonchi, F. Gadducci, G. Monreale, Reactive systems, barbed semantics, and the mobile ambients, in: Proceedings of the FoSSaCS, LNCS, vol. 5504, Springer, 2009.

4. Communication interference in mobile boxed ambients;Bugliesi;Inform. Comput.,2007

5. L. Cardelli, G. Ghelli, A. Gordon, Mobility types for mobile ambients, in: Proceedings of the ICALP, LNCS, vol. 1644, Springer, 1999.

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

1. Relational presheaves, change of base and weak simulation;Journal of Computer and System Sciences;2015-08

2. RPO semantics for mobile ambients;Mathematical Structures in Computer Science;2014-06-26

3. A Flat Process Calculus for Nested Membrane Interactions;Scientific Annals of Computer Science;2014

4. Open Multiparty Interaction;Recent Trends in Algebraic Development Techniques;2013

5. Structured Operational Semantics for Graph Rewriting;Scientific Annals of Computer Science;2012-05