Distributed data structures and algorithms for Gröbner basis computation Soumen ChakrabartiKatherine Yelick OriginalPaper Pages: 147 - 172
A concurrent abstract interpreter Stephen WeeksSuresh JagannathanJames Philbin OriginalPaper Pages: 173 - 193
CONSAT: A parallel constraint satisfaction system Kinson HoHans W. GuesgenPaul N. Hilfinger OriginalPaper Pages: 195 - 210
An application of an OR-Parallel Prolog system to phylogenetic analysis Hideo MatsudaYukio Kaneda OriginalPaper Pages: 211 - 229
Using Multilisp for solving constraint satisfaction problems: An application to nucleic acid 3D structure determination Marc FeeleyMarcel TurcotteGuy Lapalme OriginalPaper Pages: 231 - 247