Author:
Bodei Chiara,Brodo Linda,Gori Roberta,Hermith Diana,Levi Francesca
Publisher
Springer International Publishing
Reference28 articles.
1. Bodei, C.: Control flow analysis for beta-binders with and without static compartments. Theor. Comput. Sci. 410(33–34), 3110–3127 (2009)
2. Bodei, C., Brodo., L.: Brane calculi systems: A static preview of their possible behaviour. CoRR abs/1108.3429 (2011)
3. Bodei, C., Gori, R., Levi, F.: An analysis for causal properties of membrane interactions. Electr. Notes Theor. Comput. Sci. 299, 15–31 (2013)
4. Bodei, C., Gori, R., Levi, F.: Causal static analysis for brane calculi. Theor. Comput. Sci. 587, 73–103 (2015)
5. Busi, N., Zandron, C.: Modeling and analysis of biological processes by mem(brane) calculi and systems. In: Proceedings of the Winter Simulation Conference WSC 2006, pp. 1646–1655. WSC (2006)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献