Abstract
In this paper, we show a framework of an algorithmic debugging for distributed programs written in procedural languages. We also describe an overview of our prototype system based on the framework and how to debug with this system by an example of dining philosophers' problem.