Abstract:
A distributed system is a set of processes that are running in a set of networked machines
to perform a set of interrelated tasks. For the correct functionality of the distributed system
each and every process should work properly. Abnormal or unexpected behavior of a
process may cause some other processes to behave incorrectly or even to fail. Therefore in
critical distributed systems such as an automated trading system, plant automation system,
air traffic controlling system the correct and complete behavior of processes is essential.