Synthesis of Error-Recoverable Protocol Specifications from Service Specifications

Kassem Saleh, Robert L. Probert. Synthesis of Error-Recoverable Protocol Specifications from Service Specifications. In Selim G. Akl, Frantisek Fiala, Waldemar W. Koczkodaj, editors, Advances in Computing and Information - ICCI 90, International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990, Proceedings. Volume 468 of Lecture Notes in Computer Science, pages 415-424, Springer, 1990.

Authors

Kassem Saleh

This author has not been identified. Look up 'Kassem Saleh' in Google

Robert L. Probert

This author has not been identified. Look up 'Robert L. Probert' in Google