This paper discusses design and implementation issues for a distribute
d debugger, called EREBUS. which fits in a programming environment for
distributed programs written in Estelle, an ISO-normalized language.
Problems pertaining to execution replays of distributed programs are d
iscussed in detail, and performance of the prototype debugger is exhib
ited.