An automatic protocol synthesizing system in which, incomplete state transition diagrams of at least two functionally incomplete processes forming a protocol are received and completed state transition diagrams of the processes are outputted. In accordance with the present invention, there is provided...http://www.google.co.uk/patents/US4802162?utm_source=gb-gplus-sharePatent US4802162 - Automatic protocol synthesizing system
