Synthesizing Protocol Specifications from Service Specifications in Timed Extended Finite State Machines.

Jun-Cheol Park, Raymond E. Miller

Browse the full ICDCS paper archive.