Report - A Theory of Synchronous Relational InterfacesA Theory of Synchronous Relational Interfaces∗ Stavros Tripakis UC Berkeley Ben Lickly UC Berkeley Thomas A. Henzinger IST Austria Edward

Please pass captcha verification before submit form