Author:
Brogi Antonio,Canal Carlos,Pimentel Ernesto
Reference26 articles.
1. Secrecy by typing in security protocols;Abadi;Journal of ACM,1999
2. Adding action refinement to a finite process algebra;Aceto;Information and Computation,1994
3. A formal basis for architectural connection;Allen;ACM Transactions on Software Engineering and Methodology,1997
4. A formal approach to component adaptation;Bracciali;Journal of Systems and Software,2005
5. On the specification of software adaptation;Brogi;Electronic Notes in Theoretical Computer Science (ENTCS),2004
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献