Vern Paulsen: Synchronous games and traces
Vern Paulsen, University of Houston
A game where Alice and Bob are separated, forbidden
to comunicate, receive inputs from the same input set I, and produce
outputs from the same output set O is called synchronous provided that
any time Alice and Bob receive the same input, they are required to