1. Abrial, J.-R.: Formal methods: Theory becoming practice. J. UCS 13(5), 619–628 (2007)
2. De Nicola, R., Ferrari, G.L., Pugliese, R.: KLAIM: A kernel language for agents interaction and mobility. IEEE Trans. Software Eng. (1998)
3. Dwork, C.: Differential privacy. In: Encyclopedia of Cryptography and Security, 2nd edn., pp. 338–340 (2011)
4. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1985)
5. Kuhn, E., Ludwig, T.: Vip-mdbs: A logic multidatabase system. In: Proceedings of the First International Symposium on Databases in Parallel and Distributed Systems, DPDS 1988, pp. 190–201. IEEE Computer Society Press (1988)