P. Tarau, Towards Inference and Computation Mobility: The Jinni Experiment, Proceedings of JELIA'98, LNAI 1489, pp.385-390, 1998.
DOI : 10.1007/3-540-49545-2_27

P. Tarau, Intelligent Mobile Agent Programming at the Intersection of Java and Prolog Proceedings of The Fourth International Conference on The Practical Application of Intelligent Agents and Multi-Agents, pp.109-123, 1999.

P. Tarau, Inference and Computation Mobility with Jinni The Logic Programming Paradigm: a 25 Year Perspective, pp.33-48, 1999.

P. Tarau, Agent Oriented Logic Programming Constructs in Jinni, Logic Programming, 20-th International Conference, pp.3132-477, 2004.
DOI : 10.1007/978-3-540-27775-0_46

J. Mayfield, Y. Labrou, and T. W. Finin, Evaluation of KQML as an agent communication language, Lecture Notes in Computer Science, vol.1037, pp.347-360, 1995.
DOI : 10.1007/3540608052_77

M. V. Hermenegildo, An abstract machine for restricted AND-parallel execution of logic programs, Proceedings on Third international conference on logic programming, pp.25-39, 1986.
DOI : 10.1007/3-540-16492-8_62

P. Tarau, Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects, Computational Logic?CL 2000: First International Conference, 2000.
DOI : 10.1007/3-540-44957-4_82

P. Tarau and A. Majumdar, Interoperating Logic Engines, 11th International Symposium, PADL 2009, pp.137-151, 2009.
DOI : 10.1007/978-3-540-70596-3_2

P. Tarau, Logic Engines as Interactors, Logic Programming, 24-th International Conference, ICLP, pp.703-707, 2008.
DOI : 10.1007/978-3-540-27775-0_46
URL : http://arxiv.org/abs/0808.0556

P. Tarau and M. Boyer, Nonstandard Answers of Elementary Logic Programs: Constructing Logic Programs, J.Wiley, pp.279-300, 1993.

M. Carro and M. V. Hermenegildo, Concurrency in Prolog Using Threads and a Shared Database, In: ICLP, pp.320-334, 1999.

J. Wielemaker, Native Preemptive Threads in SWI-Prolog, Lecture Notes in Computer Science, vol.2916, pp.331-345, 2003.
DOI : 10.1007/978-3-540-24599-5_23
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.7140

K. De-bosschere and P. Tarau, Blackboard-based extensions in Prolog, Software: Practice and Experience, vol.26, issue.1, pp.49-69, 1996.
DOI : 10.1002/(SICI)1097-024X(199601)26:1<49::AID-SPE995>3.0.CO;2-C

G. Gupta, E. Pontelli, K. A. Ali, M. Carlsson, and M. V. Hermenegildo, Parallel execution of prolog programs: a survey, ACM Transactions on Programming Languages and Systems, vol.23, issue.4, pp.472-602, 2001.
DOI : 10.1145/504083.504085

E. Shapiro, The family of concurrent logic programming languages, ACM Computing Surveys, vol.21, issue.3, pp.413-510, 1989.
DOI : 10.1145/72551.72555

E. Lusk, S. Mudambi, E. Gmbh, and R. Overbeek, Applications of the aurora parallel prolog system to computational molecular biology, Proc. of the JICSLP'92

P. Tarau and V. Dahl, High-level networking with mobile code and first order AND-continuations, Theory and Practice of Logic Programming, vol.1, issue.03, pp.359-380, 2001.
DOI : 10.1017/S1471068401001193

A. Casas, M. Carro, and M. Hermenegildo, Towards a high-level implementation of flexible parallelism primitives for symbolic languages, Proceedings of the 2007 international workshop on Parallel symbolic computation, PASCO '07, pp.93-94, 2007.
DOI : 10.1145/1278177.1278193

D. Lea, A Java fork/join framework, Proceedings of the ACM 2000 conference on Java Grande , JAVA '00, pp.36-43, 2000.
DOI : 10.1145/337449.337465
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.1918

R. Lämmel, Google???s MapReduce programming model ??? Revisited, Science of Computer Programming, vol.70, issue.1, pp.208-237, 2007.
DOI : 10.1016/j.scico.2007.07.001