A synthesis algorithm of a protocol model from a single entity.

Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori

Browse the full FORTE paper archive.