In: Microprocessing and Microprogramming, Vol. 24, No. 1-5, pages 793-799. 1988.
Abstract: A distributed system comprising a set of discrete, loosely-coupled, processes will rely on the integrity of interprocess messages. This paper considers a particular design study in which state space modeling techniques (Petri nets and UCLA graphs) are used in the design of robust software which is free from dynamic faults.