Interface Synthesis from Protocol Specification

D. Shin, D. D. Gajski, “Interface Synthesis from Protocol Specification,” TR 02-13, April 12, 2002. download pdf