[comp.theory] information needed

jeng@kira.msu.edu (Toshiyo-Jang Jeng) (01/30/91)

We are in search of reference material or information about

   - Parallel heuristic search algorithms.
   - Specification of Concurrent System.


Thank you in advance.

Toshiyo Jeng (jeng@galaxy.cps.eud)