Modeling Agreement Problems in the Universal Composability Framework.

Masayuki Terada, Kazuki Yoneyama, Sadayuki Hongo, Kazuo Ohta

Browse the full ICICS paper archive.