Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;N. Busi,2005
2. Lecture Notes in Computer Science;N. Busi,2006
3. Busi, N., Zavattaro, G.: On the expressive power of movement and restriction in pure mobile ambients. Theoretical Computer Science 322, 477–515 (2004)
4. Busi, N., Zandron, C.: Modeling and Analysis of Biological Processes by Mem (Brane) Calculi and Systems. In: Proc. Winter Simulation Conference (to appear, 2006)
5. Lecture Notes in Bioinformatics;L. Cardelli,2005
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Nadia Busi's publications;Mathematical Structures in Computer Science;2009-12
2. Undecidability of Model Checking in Brane Logic;Electronic Notes in Theoretical Computer Science;2008-11
3. Bisimulations in calculi modelling membranes;Formal Aspects of Computing;2008-07
4. Some Notes on (Mem)Brane Computation;Parallel Problem Solving from Nature - PPSN IX;2006