Synthesis of Error-Recoverable Protocol Specifications from Service Specifications.

Kassem Saleh, Robert L. Probert

Browse the full ICCI paper archive.