1

2 Table of Contents: “... the performance of parallel symbolic programs -- A debugging scheme for fine-grain threads on massively parallel...”

3

4 Table of Contents: “...Overview of papers from the U.S./Japan workshop on parallel symbolic computing -- Prioritization...”

5 Table of Contents: “... -- Concurrent scheme -- The design of automatic parallelizers for symbolic and numeric programs -- A reflective...”

6 Table of Contents: “... in sets -- Combining Petri nets and PA-processes -- Symbolic model-checking method based on approximations...”