Highly reliable concurrent systems by hypersequential programming

Hypersequential programming is a new way of concurrent-program development, in which the original concurrent program is first serialized, then tested and debugged as a set of sequential programs (scenarios), and finally restored into the target concurrent program by parallelization. Both high productivity and reliability are achieved by hypersequential programming because testing and debugging are done for the serialized versions and correctness of the serialized programs is preserved during subsequent parallelization.