Subject
General Computer Science,Theoretical Computer Science
Reference22 articles.
1. Mobile values, new names, and secure communication;Abadi;ACM SIGPLAN Notices,2001
2. A calculus for cryptographic protocols: The spi calculus;Abadi;Information and Computation,1999
3. Abiteboul, S. et al. Active XML primer. INRIA Futurs, GEMO Report N. 275, 2003
4. L. Acciai and M. Boreale. XPi: A typed process calculus for XML messaging. In Proceedings of FMOODS'05, 2005
5. Benjelloun, O. Active XML: A data-centric perspective on Web services. PhD thesis, Universtity of Paris XI, 2002