500 likes | 618 Views
Highlights of past lectures. Presented two frameworks for analyzing protocols:A basic framework:Only function evaluationSynchronousNon-adaptive corruptionsModular composition (only non-concurrent)A stronger framework (UC):General reactive tasksAsynchronous (can express different types of syn
E N D