ParalM Searching with Multisets-as-Agents

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.