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]

Possibly Related Publications

The following publications are possibly variants of this publication: