Protocol synthesis in a state-transition model.

Peil-Ying M. Chu, Ming T. Liu

Browse the full COMPSAC paper archive.