Compositional minimisation of finite state systems using interface specifications
Susanne Graf, Bernhard Steffen, Gerald Lüttgen · Formal Aspects of Computing · 1996
Abstract We present a method for thecompositional constructionof theminimal transition systemthat represents the semantics of a given distributed system. Our aim is to control thestate explosioncaused by the interleavings of actions of communicating parallel components byreduction stepsthat exploitglobalcommunication constraints given in terms ofinterface specifications.Theeffectof the method, which is developed forbisimulation semanticshere, depends on the structure of the distributed system under consideration, and theaccuracyof the interface specifications. However, itscorrectnessis independent of the correctness of the interface specifications provided by the program designer.