1. Agha, G.: Abstracting interaction patterns: A programming paradigm for open distributed systems. In: Najm, E., Stefani, J.-B. (eds.) Formal Methods for Open Object-based Distributed Systems, IFIP Transactions, Chapman and Hall, Boca Raton (1997)
2. Lecture Notes in Computer Science;M. Aksit,1994
3. Ao, X., Minsky, N., Ungureanu, V.: Formal treatment of certificate revocation under communal access control. In: Proc. of the 2001 IEEE Symposium on Security and Privacy, Oakland California (May 2001)
4. Lecture Notes in Computer Science;X. Ao,2003
5. Lecture Notes in Computer Science;M. Banville,1996