Scenario-based hypersequential programming

Hypersequential programming is a new paradigm of concurrent programming. Th e original concurrent program is first serialized, then the sequential vers ion is tested and debugged, and finally the target concurrent program is sy nthesized by parallelizing the debugged sequential version. In hypersequent ial programming, testing and debugging are performed on the sequential vers ion of the program and the correctness is preserved in the: subsequent para llelization process. Therefore, it offers both higher productivity and enha nced reliability. This paper describes a practical approach to hypersequent ial programming using the execution history called scenario. It also formal izes the parallelization process using a new equivalence relation called sc enario graph equivalence, and gives the parallelization algorithm.