Parallel Searching with Multisets-as-Agents

Jean-Marc Andreoli, Paolo Ciancarini, and Remo Pareschi

LO (for Linear Objects) is a concurrent language which allows the programmer to specify, at abstract, level, the behavior of a system of communicating agents. LO amalgamates two models of parallel computing: (i) multiset rewriting, where elements of multisets are tuples; (ii) "actors", where actors are agents capable of self-replication, termination and explicit message passing. We illustrate here the expressive power of LO for expressing parallel search algorithms.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.