A Theory of Synchronous Relational Interfaces

Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee. A Theory of Synchronous Relational Interfaces. ACM Transactions on Programming Languages and Systems, 33(4):14, 2011. [doi]

Authors

Stavros Tripakis

This author has not been identified. It may be one of the following persons: Look up 'Stavros Tripakis' in Google

Ben Lickly

This author has not been identified. Look up 'Ben Lickly' in Google

Thomas A. Henzinger

This author has not been identified. Look up 'Thomas A. Henzinger' in Google

Edward A. Lee

This author has not been identified. Look up 'Edward A. Lee' in Google