Protocol Transducer Synthesis using Divide and Conquer approach.

Shigeru Watanabe, Kenshu Seto, Yuji Ishikawa, Satoshi Komatsu, Masahiro Fujita

Browse the full ASPDAC paper archive.