Author:
Bodei Chiara,Brodo Linda,Bruni Roberto
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Bodei, C., Brodo, L., Degano, P., Gao, H.: Detecting and preventing type flaws at static time. Journal of Computer Security 18(2), 229–264 (2010)
2. Bodei, C., Degano, P., Priami, C.: Names of the π-calculus agents handled locally. Theor. Comput. Sci. 253(2), 155–184 (2001)
3. Bonchi, F., Gadducci, F., Monreale, G.V.: Labelled transitions for mobile ambients (as synthesized via a graphical encoding). ENTCS 242(1), 73–98 (2009)
4. Lecture Notes in Computer Science;F. Bonchi,2009
5. Lecture Notes in Computer Science;L. Brodo,2011
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modelling Patterns of Gene Regulation in the bond-calculus;Electronic Notes in Theoretical Computer Science;2020-09
2. Enhancing Reaction Systems: A Process Algebraic Approach;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019
3. Symbolic Semantics for Multiparty Interactions in the Link-Calculus;SOFSEM 2017: Theory and Practice of Computer Science;2017
4. Empirical Evidences in Software-Defined Network Security: A Systematic Literature Review;Studies in Computational Intelligence;2016-10-22
5. On the expressiveness of π-calculus for encoding mobile ambients;Mathematical Structures in Computer Science;2016-09-22