Laxmikant Vasudeo Kalé

• "Completeness" and "full parallelism" of parallel logic programming schemes
• Parallel architectures for problem solving
• The chare-kernel language for parallel programming